diff --git a/Doc/doc/doc.tex b/Doc/doc/doc.tex index fc85e94a5a4f..88bb63a504cb 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,