Some cleanup in the docs.
diff --git a/Doc/Makefile b/Doc/Makefile
index ea62f00..04cca4e 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -16,10 +16,11 @@
help:
@echo "Please use \`make <target>' where <target> is one of"
- @echo " html to make standalone HTML files"
- @echo " web to make file usable by Sphinx.web"
+ @echo " html to make standalone HTML files"
+ @echo " web to make file usable by Sphinx.web"
@echo " htmlhelp to make HTML files and a HTML help project"
- @echo " latex to make LaTeX files, you can set PAPER=a4 or PAPER=letter"
+ @echo " latex to make LaTeX files, you can set PAPER=a4 or PAPER=letter"
+ @echo " changes to make an overview over all changed/added/deprecated items"
checkout:
@if [ ! -d tools/sphinx ]; then \
@@ -66,6 +67,10 @@
@echo "Run \`make all-pdf' or \`make all-ps' in that directory to" \
"run these through (pdf)latex."
+changes: BUILDER = changes
+changes: build
+ @echo "The overview file is in build/changes."
+
clean:
-rm -rf build/*
-rm -rf tools/sphinx