summaryrefslogtreecommitdiff
path: root/d/dev/tools/Makefile
diff options
context:
space:
mode:
authorhaller2004-10-08 10:50:44 +0000
committerhaller2004-10-08 10:50:44 +0000
commit83980486c36dfe73bd7d63a78279525e2cedd46b (patch)
treefc60c93bcb5d8fc157888925452015c80af06105 /d/dev/tools/Makefile
parentb6d1d4671e0bcc09661db4e59d78c0a261767427 (diff)
Ajout d'une documentation sur les outils de développement
Diffstat (limited to 'd/dev/tools/Makefile')
-rw-r--r--d/dev/tools/Makefile10
1 files changed, 10 insertions, 0 deletions
diff --git a/d/dev/tools/Makefile b/d/dev/tools/Makefile
new file mode 100644
index 0000000..95ac718
--- /dev/null
+++ b/d/dev/tools/Makefile
@@ -0,0 +1,10 @@
+DOC = tools.html
+
+doc: $(DOC)
+
+%.html: %.txt
+ aft $<
+ test -r $<-TOC && aft $< || true
+
+clean:
+ rm -f $(DOC) *.txt-TOC *.bak *~