diff options
Diffstat (limited to 'chapter06/texinfo.xml')
| -rw-r--r-- | chapter06/texinfo.xml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/chapter06/texinfo.xml b/chapter06/texinfo.xml index 175100a8f..44e893c1b 100644 --- a/chapter06/texinfo.xml +++ b/chapter06/texinfo.xml @@ -8,6 +8,12 @@ <sect1 id="ch-system-texinfo" role="wrap"> <?dbhtml filename="texinfo.html"?> + <sect1info condition="script"> + <productname>texinfo</productname> + <productnumber>&texinfo-version;</productnumber> + <address>&texinfo-url;</address> + </sect1info> + <title>Texinfo-&texinfo-version;</title> <indexterm zone="ch-system-texinfo"> |