diff options
Diffstat (limited to 'lib/pman')
-rw-r--r-- | lib/pman/doc/src/make.dep | 26 | ||||
-rw-r--r-- | lib/pman/doc/src/notes.xml | 15 | ||||
-rw-r--r-- | lib/pman/vsn.mk | 2 |
3 files changed, 16 insertions, 27 deletions
diff --git a/lib/pman/doc/src/make.dep b/lib/pman/doc/src/make.dep deleted file mode 100644 index 2f6a8a06cd..0000000000 --- a/lib/pman/doc/src/make.dep +++ /dev/null @@ -1,26 +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 pman.tex pman_chapter.tex \ - ref_man.tex - -# ---------------------------------------------------- -# Source inlined when transforming from source to LaTeX -# ---------------------------------------------------- - -book.tex: ref_man.xml - -# ---------------------------------------------------- -# Pictures that the DVI file depend on -# ---------------------------------------------------- - -book.dvi: main_window.ps options.ps trace.ps - diff --git a/lib/pman/doc/src/notes.xml b/lib/pman/doc/src/notes.xml index 27e3b5e5fe..407a10a50a 100644 --- a/lib/pman/doc/src/notes.xml +++ b/lib/pman/doc/src/notes.xml @@ -30,6 +30,21 @@ </header> <p>This document describes the changes made to the Pman application.</p> +<section><title>Pman 2.7.1.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>Pman 2.7.1</title> <section><title>Improvements and New Features</title> diff --git a/lib/pman/vsn.mk b/lib/pman/vsn.mk index d190164053..a62a9d7c89 100644 --- a/lib/pman/vsn.mk +++ b/lib/pman/vsn.mk @@ -1 +1 @@ -PMAN_VSN = 2.7.1 +PMAN_VSN = 2.7.1.1 |