fiss

commit f28b84327d0554664249d87238a1285a3665c45b
parent 6e5c06d850f6df50b0c2e59cd29f447833907970
Author: Friedel Schön <[email protected]>
Date:   Fri,  2 Jun 2023 17:42:59 +0200

move make-{docs,man}.py to tools/

Diffstat:
M
Makefile
 | 
4
++--
R
make-docs.py -> tools/make-docs.py
 | 
0

R
make-man.py -> tools/make-man.py
 | 
0

3 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/Makefile b/Makefile
@@ -12,8 +12,8 @@ ROFF_DIR    := man
 DOCS_DIR    := docs
 ASSETS_DIR  := assets
 DOC_AST_DIR := docs/assets
-MAKE_DOCS   := make-docs.py
-MAKE_MAN    := make-man.py
+MAKE_DOCS   := tools/make-docs.py
+MAKE_MAN    := tools/make-man.py
 
 # Compiler Options
 CC       ?= gcc
diff --git a/make-docs.py b/tools/make-docs.py
diff --git a/make-man.py b/tools/make-man.py