diff options
Diffstat (limited to 'appendixa/procinfo-shortdesc.xml')
-rw-r--r-- | appendixa/procinfo-shortdesc.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/appendixa/procinfo-shortdesc.xml b/appendixa/procinfo-shortdesc.xml index 55d7c2e2b..8c13d0dc5 100644 --- a/appendixa/procinfo-shortdesc.xml +++ b/appendixa/procinfo-shortdesc.xml @@ -1,4 +1,4 @@ -<sect2><title>Contents of Procinfo</title> +<sect2 id="contents-procinfo"><title>Contents of Procinfo</title> <!-- <para>(Last checked against version &procinfo-contversion;.)</para> --> |