From 8fc2932b86456a72b6504eb1af4ecbe87ade827e Mon Sep 17 00:00:00 2001
From: Mark Wooding <mdw@distorted.org.uk>
Date: Sat, 27 Jul 2019 17:06:03 +0100
Subject: [PATCH] doc/misc.tex: Fix copied-and-pasted section label.

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

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