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