doc/misc.tex: Clarify that `augment-options' is in `sod-frontend'.

diff --git a/doc/misc.tex b/doc/misc.tex
index 98e9ef9..1e58cdf 100644 (file)
--- a/doc/misc.tex
+++ b/doc/misc.tex
@@ -1087,7 +1087,7 @@ Most of these symbols are defined in the @|optparse| package.
           @<form>^*) @}^*}
 \end{describe}
 
-\begin{describe}{fun}{augment-options @<options-list>}
+\begin{describe}{fun}{sod-frontend:augment-options @<options-list>}
 \end{describe}
 
 %%%--------------------------------------------------------------------------