diff options
Diffstat (limited to 'Attic/appendixb/texinfo.xml')
-rw-r--r-- | Attic/appendixb/texinfo.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Attic/appendixb/texinfo.xml b/Attic/appendixb/texinfo.xml index 2ef6b88a1..a8a8d29ee 100644 --- a/Attic/appendixb/texinfo.xml +++ b/Attic/appendixb/texinfo.xml @@ -1,5 +1,6 @@ <sect1 id="ab-texinfo"> <title>Texinfo-&texinfo-depversion;</title> +<?dbhtml filename="texinfo.html" dir="appendixb"?> &ab-texinfo-dep; |