Removed (empty) description of \optional from the "Inline Markup"

section; that's not really the right place for it.

diff --git a/Doc/doc/doc.tex b/Doc/doc/doc.tex
index fc85e94a5a4f91b7aff0f05424101cd7b9490d5c..88bb63a504cbaf7363943ddeb59c6eac2462ec23 100644 (file)
--- 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,