manual: got rid of the sgml bits. Go XML !

2014-04-28 08:55:13 +02:00
parent 077aed3018
commit 3de5b5af3c
4 changed files with 6 additions and 50 deletions
@@ -1,2 +1,5 @@
-usermanual.html: usermanual.sgml
+usermanual.html: usermanual.xml
 	sh xmlmake.sh
+
+clean:
+	rm -f RCL.*.html usermanual.pdf usermanual.html index.html