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