From: Mark Wooding <mdw@distorted.org.uk>
Date: Wed, 7 Aug 2019 16:51:20 +0000 (+0100)
Subject: doc/misc.tex: Clarify that `augment-options' is in `sod-frontend'.
X-Git-Url: https://git.distorted.org.uk/~mdw/sod/commitdiff_plain/8fafc4630df7594035e9a7e565292baa9b4d65f3

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
--- 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}
 
 %%%--------------------------------------------------------------------------