~mdw
/
sod
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
46a4727
)
doc/misc.tex: Fix copied-and-pasted section label.
author
Mark Wooding
<mdw@distorted.org.uk>
Sat, 27 Jul 2019 16:06:03 +0000
(17:06 +0100)
committer
Mark Wooding
<mdw@distorted.org.uk>
Sat, 3 Aug 2019 15:27:40 +0000
(16:27 +0100)
doc/misc.tex
patch
|
blob
|
blame
|
history
diff --git
a/doc/misc.tex
b/doc/misc.tex
index
f23d6a0
..
a8928ac
100644
(file)
--- 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}