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