diff options
Diffstat (limited to 'chapter05/mawk.xml')
| -rw-r--r-- | chapter05/mawk.xml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/chapter05/mawk.xml b/chapter05/mawk.xml index d4d787566..d1df4cb84 100644 --- a/chapter05/mawk.xml +++ b/chapter05/mawk.xml @@ -1,6 +1,11 @@ <sect1 id="ch05-mawk"> <title>Installing Mawk</title> +<screen> +Estimated build time: &mawk-time-static; +Estimated disk space required: &mawk-compsize-static; +</screen> + &c5-mawk-inst; &aa-mawk-desc; |