From 83980486c36dfe73bd7d63a78279525e2cedd46b Mon Sep 17 00:00:00 2001 From: haller Date: Fri, 8 Oct 2004 10:50:44 +0000 Subject: Ajout d'une documentation sur les outils de développement --- d/dev/tools/Makefile | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 d/dev/tools/Makefile (limited to 'd/dev/tools/Makefile') 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 *~ -- cgit v1.2.3