summaryrefslogtreecommitdiff
path: root/i
diff options
context:
space:
mode:
authorschodet2004-10-01 22:50:51 +0000
committerschodet2004-10-01 22:50:51 +0000
commit559334b050fe001fe9e5e03308f7255273cc208f (patch)
tree4ad43935f89f99d15fc25a1178b75ae4ef6074f8 /i
parent50ec61cbe0695d0325de9063fe31a3e4a463e9df (diff)
Ajout du makefile, ça se voit pas !
Diffstat (limited to 'i')
-rw-r--r--i/simulotron/doc/Makefile10
1 files changed, 10 insertions, 0 deletions
diff --git a/i/simulotron/doc/Makefile b/i/simulotron/doc/Makefile
new file mode 100644
index 0000000..70cb667
--- /dev/null
+++ b/i/simulotron/doc/Makefile
@@ -0,0 +1,10 @@
+DOC = spec.html
+
+doc: $(DOC)
+
+%.html: %.txt
+ aft $<
+ test -r $<-TOC && aft $< || true
+
+clean:
+ rm -f $(DOC) *.txt-TOC *.bak *~