diff options
Diffstat (limited to 'chapter06/mawk.xml')
| -rw-r--r-- | chapter06/mawk.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/chapter06/mawk.xml b/chapter06/mawk.xml index 9b0d2ebe7..0f61fcd5f 100644 --- a/chapter06/mawk.xml +++ b/chapter06/mawk.xml @@ -1,5 +1,6 @@ <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> |