summaryrefslogtreecommitdiff
path: root/d/dev/sys
diff options
context:
space:
mode:
authorschodet2004-06-27 11:45:49 +0000
committerschodet2004-06-27 11:45:49 +0000
commite6a66ec7e5c9b95509c4a6f558f7a8ddc1045766 (patch)
tree8dfea064b2988663e3f0ea678248f8f535c22145 /d/dev/sys
parentd75b00bb1d2cfdb8f142cf811e39e30fb621fde4 (diff)
Modif de Makefile.
Diffstat (limited to 'd/dev/sys')
-rw-r--r--d/dev/sys/howto/Makefile8
1 files changed, 7 insertions, 1 deletions
diff --git a/d/dev/sys/howto/Makefile b/d/dev/sys/howto/Makefile
index 9c70a58..f24cb84 100644
--- a/d/dev/sys/howto/Makefile
+++ b/d/dev/sys/howto/Makefile
@@ -1,4 +1,10 @@
-doc: howto-sys.html
+DOC = howto-sys.html
+
+doc: $(DOC)
%.html: %.txt
aft $<
+ test -r $<-TOC && aft $< || true
+
+clean:
+ rm -f $(DOC) *.txt-TOC *.bak *~