diff options
Diffstat (limited to 'Doc/README.txt')
| -rw-r--r-- | Doc/README.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Doc/README.txt b/Doc/README.txt index b70d23f..fc263f0 100644 --- a/Doc/README.txt +++ b/Doc/README.txt @@ -56,6 +56,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. |