diff options
Diffstat (limited to 'Doc/README.txt')
| -rw-r--r-- | Doc/README.txt | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Doc/README.txt b/Doc/README.txt index 6d979f4..9db4f4c 100644 --- a/Doc/README.txt +++ b/Doc/README.txt @@ -53,6 +53,9 @@ Available make targets are: To create the CHM file, you need to run the Microsoft HTML Help Workshop over the generated project (.hhp) file. + * "latex", which builds LaTeX source files that can be run with "pdflatex" + to produce PDF documents. + A "make update" updates the Subversion checkouts in `tools/`. |