diff options
Diffstat (limited to 'chapter05/make.xml')
| -rw-r--r-- | chapter05/make.xml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/chapter05/make.xml b/chapter05/make.xml index c4a39bc18..e525789d6 100644 --- a/chapter05/make.xml +++ b/chapter05/make.xml @@ -7,6 +7,12 @@ <sect1 id="ch-tools-make" role="wrap"> <?dbhtml filename="make.html"?> + <sect1info condition="script"> + <productname>make</productname> + <productnumber>&make-version;</productnumber> + <address>&make-url;</address> + </sect1info> + <title>Make-&make-version;</title> <indexterm zone="ch-tools-make"> |