diff options
Diffstat (limited to 'chapter06/mawk.xml')
| -rw-r--r-- | chapter06/mawk.xml | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/chapter06/mawk.xml b/chapter06/mawk.xml deleted file mode 100644 index b79830b62..000000000 --- a/chapter06/mawk.xml +++ /dev/null @@ -1,13 +0,0 @@ -<sect1 id="ch06-mawk"> -<title>Installing Mawk-&mawk-version;</title> -<?dbhtml filename="mawk.html" dir="chapter06"?> - -<screen>Estimated build time: &mawk-time; -Estimated required disk space: &mawk-compsize;</screen> - -&c6-mawk-inst; -&aa-mawk-desc; -&aa-mawk-dep; - -</sect1> - |