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