diff --git a/.gitignore b/.gitignore index 493f7919b5..a6cb02ef75 100644 --- a/.gitignore +++ b/.gitignore @@ -3,3 +3,5 @@ *~ \#*# masterdir +doc/manual.html +doc/docbook-xsl.css diff --git a/doc/Makefile b/doc/Makefile new file mode 100644 index 0000000000..64b18303ce --- /dev/null +++ b/doc/Makefile @@ -0,0 +1,5 @@ +all: + a2x -f xhtml manual.txt + +clean: + -rm -f *.css *.html