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 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. |