From 8fafc4630df7594035e9a7e565292baa9b4d65f3 Mon Sep 17 00:00:00 2001
From: Mark Wooding <mdw@distorted.org.uk>
Date: Wed, 7 Aug 2019 17:51:20 +0100
Subject: [PATCH] doc/misc.tex: Clarify that `augment-options' is in
 `sod-frontend'.

---
 doc/misc.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

