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

diff --git a/doc/misc.tex b/doc/misc.tex
index 98e9ef907903556eb76a19dc18718194ac59d3e8..1e58cdfe0f0c1c966f609c5f0d517c0477f88339 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}
 
 %%%--------------------------------------------------------------------------