diff options
Diffstat (limited to 'chapter07/texinfo.xml')
| -rw-r--r-- | chapter07/texinfo.xml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/chapter07/texinfo.xml b/chapter07/texinfo.xml index 3ce3d08b9..af7d5ab30 100644 --- a/chapter07/texinfo.xml +++ b/chapter07/texinfo.xml @@ -5,8 +5,8 @@ %general-entities; ]> -<sect1 id="ch-system-texinfo-temp" role="wrap"> - <?dbhtml filename="texinfo-temp.html"?> +<sect1 id="ch-tools-texinfo" role="wrap"> + <?dbhtml filename="texinfo.html"?> <sect1info condition="script"> <productname>texinfo</productname> @@ -16,7 +16,7 @@ <title>Texinfo-&texinfo-version;</title> - <indexterm zone="ch-system-texinfo-temp"> + <indexterm zone="ch-tools-texinfo"> <primary sortas="a-Texinfo">Texinfo</primary> <secondary>temporary</secondary> </indexterm> |