tree 463f2aefeb0a48ceef52db709edc3b1707727845
parent c31beaaec196c26990139e3fc4f89f996d7b86e9
author Nikias Bassen <nikias@gmx.li> 1639880072 +0100
committer Nikias Bassen <nikias@gmx.li> 1639880072 +0100

Fix 'make docs' target deleting the whole docs subdir