diff options
| -rw-r--r-- | Doc/Makefile | 5 | ||||
| -rw-r--r-- | Doc/README.txt | 2 |
2 files changed, 7 insertions, 0 deletions
diff --git a/Doc/Makefile b/Doc/Makefile index 5e17cf8..9795315 100644 --- a/Doc/Makefile +++ b/Doc/Makefile @@ -21,6 +21,7 @@ help: @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 " text to make plain text files" @echo " changes to make an overview over all changed/added/deprecated items" @echo " linkcheck to check all external links for integrity" @echo " coverage to check documentation coverage for library and C API" @@ -75,6 +76,10 @@ latex: build @echo "Run \`make all-pdf' or \`make all-ps' in that directory to" \ "run these through (pdf)latex." +text: BUILDER = text +text: build + @echo "Build finished; the text files are in build/text." + changes: BUILDER = changes changes: build @echo "The overview file is in build/changes." diff --git a/Doc/README.txt b/Doc/README.txt index bbf31d8..aea9b20 100644 --- a/Doc/README.txt +++ b/Doc/README.txt @@ -51,6 +51,8 @@ Available make targets are: * "latex", which builds LaTeX source files that can be run with "pdflatex" to produce PDF documents. + * "text", which builds a plain text file for each source file. + * "linkcheck", which checks all external references to see whether they are broken, redirected or malformed, and outputs this information to stdout as well as a plain-text (.txt) file. |