From: Mark Wooding <mdw@distorted.org.uk>
Date: Sat, 27 Jul 2019 16:06:03 +0000 (+0100)
Subject: doc/misc.tex: Fix copied-and-pasted section label.
X-Git-Url: https://git.distorted.org.uk/~mdw/sod/commitdiff_plain/8fc2932b86456a72b6504eb1af4ecbe87ade827e

doc/misc.tex: Fix copied-and-pasted section label.
---

diff --git a/doc/misc.tex b/doc/misc.tex
index f23d6a0..a8928ac 100644
--- a/doc/misc.tex
+++ b/doc/misc.tex
@@ -581,7 +581,7 @@ These symbols are defined in the @|optparse| package.
 \end{describe}
 
 %%%--------------------------------------------------------------------------
-\section{Miscellaneous translator features} \label{sec:misc.pset}
+\section{Miscellaneous translator features} \label{sec:misc.misc}
 
 \begin{describe}{var}{*sod-version*}
 \end{describe}