diff options
Diffstat (limited to 'doc/UsersGuide/Notes.tex')
-rw-r--r-- | doc/UsersGuide/Notes.tex | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/doc/UsersGuide/Notes.tex b/doc/UsersGuide/Notes.tex index d0d897bf..89c40680 100644 --- a/doc/UsersGuide/Notes.tex +++ b/doc/UsersGuide/Notes.tex @@ -1080,9 +1080,6 @@ thorn. \item[\texttt{gmake ThornDoc}] builds the documentation for all thorns. -\item [\texttt{gmake ThornGuide}] runs LaTeX to produce a copy of the Thorn -Guide, for all the thorns in the arrangements directory. - \item [\texttt{gmake UsersGuide}] runs LaTeX to produce a copy of the Users' Guide. |