diff options
Diffstat (limited to 'lib/webtool')
| -rw-r--r-- | lib/webtool/doc/src/make.dep | 20 | ||||
| -rw-r--r-- | lib/webtool/doc/src/notes.xml | 15 | ||||
| -rw-r--r-- | lib/webtool/vsn.mk | 2 |
3 files changed, 16 insertions, 21 deletions
diff --git a/lib/webtool/doc/src/make.dep b/lib/webtool/doc/src/make.dep deleted file mode 100644 index 87526b3f73..0000000000 --- a/lib/webtool/doc/src/make.dep +++ /dev/null @@ -1,20 +0,0 @@ -# ---------------------------------------------------- -# >>>> Do not edit this file <<<< -# This file was automaticly generated by -# /home/otp/bin/docdepend -# ---------------------------------------------------- - - -# ---------------------------------------------------- -# TeX files that the DVI file depend on -# ---------------------------------------------------- - -book.dvi: book.tex part.tex ref_man.tex start_webtool.tex \ - webtool.tex webtool_chapter.tex - -# ---------------------------------------------------- -# Source inlined when transforming from source to LaTeX -# ---------------------------------------------------- - -book.tex: ref_man.xml - diff --git a/lib/webtool/doc/src/notes.xml b/lib/webtool/doc/src/notes.xml index c58a440937..a56fdd7b6f 100644 --- a/lib/webtool/doc/src/notes.xml +++ b/lib/webtool/doc/src/notes.xml @@ -31,6 +31,21 @@ <p>This document describes the changes made to the Webtool application.</p> +<section><title>WebTool 0.8.9.1</title> + + <section><title>Improvements and New Features</title> + <list> + <item> + <p> + Miscellaneous documentation build updates</p> + <p> + Own Id: OTP-9813</p> + </item> + </list> + </section> + +</section> + <section><title>WebTool 0.8.9</title> <section><title>Fixed Bugs and Malfunctions</title> diff --git a/lib/webtool/vsn.mk b/lib/webtool/vsn.mk index 2643be866e..690f9a22cf 100644 --- a/lib/webtool/vsn.mk +++ b/lib/webtool/vsn.mk @@ -1 +1 @@ -WEBTOOL_VSN=0.8.9 +WEBTOOL_VSN=0.8.9.1 |