doc/misc.tex: Fix copied-and-pasted section label.
authorMark Wooding <mdw@distorted.org.uk>
Sat, 27 Jul 2019 16:06:03 +0000 (17:06 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Sat, 3 Aug 2019 15:27:40 +0000 (16:27 +0100)
doc/misc.tex

index f23d6a0..a8928ac 100644 (file)
@@ -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}