diff options
Diffstat (limited to 'appendixa/texinfo.xml')
| -rw-r--r-- | appendixa/texinfo.xml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/appendixa/texinfo.xml b/appendixa/texinfo.xml index adbfe9b7d..884150306 100644 --- a/appendixa/texinfo.xml +++ b/appendixa/texinfo.xml @@ -2,7 +2,9 @@ <title>Texinfo</title> <?dbhtml filename="texinfo.html" dir="appendixa"?> +&aa-texinfo-down; &aa-texinfo-desc; +&aa-texinfo-dep; </sect1> |