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