diff options
| -rw-r--r-- | Doc/doc/doc.tex | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/Doc/doc/doc.tex b/Doc/doc/doc.tex index fc85e94..88bb63a 100644 --- a/Doc/doc/doc.tex +++ b/Doc/doc/doc.tex @@ -435,9 +435,6 @@ distribution, to create or maintain whole documents or sections. The name of a USENET newsgroup. \end{macrodesc} - \begin{macrodesc}{optional}{\p{text}} - \end{macrodesc} - \begin{macrodesc}{program}{\p{name}} The name of an executable program. This may differ from the file name for the executable for some platforms. In particular, |