diff options
| -rw-r--r-- | appendixa/gzip.xml | 1 | ||||
| -rw-r--r-- | appendixa/make.xml | 1 | ||||
| -rw-r--r-- | appendixa/patch.xml | 1 |
3 files changed, 3 insertions, 0 deletions
diff --git a/appendixa/gzip.xml b/appendixa/gzip.xml index c26bfef98..0c3583daa 100644 --- a/appendixa/gzip.xml +++ b/appendixa/gzip.xml @@ -3,6 +3,7 @@ <?dbhtml filename="gzip.html" dir="appendixa"?> &aa-gzip-down; +&aa-gzip-shortdesc; &aa-gzip-desc; &aa-gzip-dep; diff --git a/appendixa/make.xml b/appendixa/make.xml index ef9c563f1..a64e1293f 100644 --- a/appendixa/make.xml +++ b/appendixa/make.xml @@ -3,6 +3,7 @@ <?dbhtml filename="make.html" dir="appendixa"?> &aa-make-down; +&aa-make-shortdesc; &aa-make-desc; &aa-make-dep; diff --git a/appendixa/patch.xml b/appendixa/patch.xml index 61680061d..cafc9a782 100644 --- a/appendixa/patch.xml +++ b/appendixa/patch.xml @@ -3,6 +3,7 @@ <?dbhtml filename="patch.html" dir="appendixa"?> &aa-patch-down; +&aa-patch-shortdesc; &aa-patch-desc; &aa-patch-dep; |