Remove evil "sec:" prefix from some \label markups; this is bad for
filenames on Windows (& Mac?) platforms.
diff --git a/Doc/inst/inst.tex b/Doc/inst/inst.tex
index e0ab7bf..ff60a23 100644
--- a/Doc/inst/inst.tex
+++ b/Doc/inst/inst.tex
@@ -723,7 +723,7 @@
\subsection{Location and names of config files}
-\label{sec:config-filenames}
+\label{config-filenames}
The names and locations of the configuration files vary slightly across
platforms. On \UNIX, the three configuration files (in the order they
@@ -787,7 +787,7 @@
\subsection{Syntax of config files}
-\label{sec:config-syntax}
+\label{config-syntax}
The Distutils configuration files all have the same syntax. The config
files are grouped into sections; there is one section for each Distutils