diff options
Diffstat (limited to 'appendixa/gawk.xml')
| -rw-r--r-- | appendixa/gawk.xml | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/appendixa/gawk.xml b/appendixa/gawk.xml new file mode 100644 index 000000000..6e06297b1 --- /dev/null +++ b/appendixa/gawk.xml @@ -0,0 +1,10 @@ +<sect1 id="aa-gawk"> +<title>Gawk</title> +<?dbhtml filename="gawk.html" dir="appendixa"?> + +&aa-gawk-down; +&aa-gawk-desc; +&aa-gawk-dep; + +</sect1> + |