From: Joseph Myers <joseph@codesourcery.com>
Date: Fri, 30 Sep 2005 22:06:07 +0000 (+0100)
Subject: re PR other/23693 (Manuals in the  Portable Document Format (PDF))
X-Git-Tag: misc/cutover-cvs2svn~385
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=6a82a28a50a576a95355cb0917a02b501646f652;p=thirdparty%2Fgcc.git

re PR other/23693 (Manuals in the  Portable Document Format (PDF))

	PR other/23693
	* update_web_docs: Add PDF support.  Correct check of DEV-PHASE.

From-SVN: r104837
---

diff --git a/maintainer-scripts/ChangeLog b/maintainer-scripts/ChangeLog
index d2f158500408..24e51deb9fdf 100644
--- a/maintainer-scripts/ChangeLog
+++ b/maintainer-scripts/ChangeLog
@@ -1,3 +1,8 @@
+2005-09-30  Joseph S. Myers  <joseph@codesourcery.com>
+
+	PR other/23693
+	* update_web_docs: Add PDF support.  Correct check of DEV-PHASE.
+
 2005-09-30  Joseph S. Myers  <joseph@codesourcery.com>
 
 	* update_web_docs_old: Remove.
diff --git a/maintainer-scripts/update_web_docs b/maintainer-scripts/update_web_docs
index d7b3da116fd4..6c14c68b0707 100755
--- a/maintainer-scripts/update_web_docs
+++ b/maintainer-scripts/update_web_docs
@@ -110,26 +110,27 @@ fi
 # Generate gcc-vers.texi.
 (
    echo "@set version-GCC $(cat gcc/gcc/BASE-VER)"
-   if "$(cat gcc/gcc/DEV-PHASE)" = "experimental"; then
+   if [ "$(cat gcc/gcc/DEV-PHASE)" = "experimental" ]; then
       echo "@set DEVELOPMENT"
    else
       echo "@clear DEVELOPMENT"
    fi
 ) > $includedir/gcc-vers.texi
 
-# Now convert the relevant files from texi to HTML and PostScript.
+# Now convert the relevant files from texi to HTML, PDF and PostScript.
 for file in $MANUALS; do
   filename=`find . -name ${file}.texi`
   if [ "${filename}" ]; then
     makeinfo --html -I ${includedir} -I `dirname ${filename}` ${filename}
     tar cf ${file}-html.tar ${file}/*.html
     texi2dvi -I ${includedir} ${filename} </dev/null && dvips -o ${file}.ps ${file}.dvi
+    texi2pdf -I ${includedir} ${filename} </dev/null
     mkdir -p $DOCSDIR/$file
   fi
 done
 
 # Then build a gzipped copy of each of the resulting .html, .ps and .tar files
-for file in */*.html *.ps *.tar; do
+for file in */*.html *.ps *.pdf *.tar; do
   cat $file | gzip --best > $file.gz
 done
 
@@ -144,7 +145,7 @@ if test $today = 15; then
 fi
 
 # And copy the resulting files to the web server
-for file in */*.html *.ps *.tar; do
+for file in */*.html *.ps *.pdf *.tar; do
   cat $DOCSDIR/$file | 
     sed -e '/^<meta name=generator/d' \
         -e '/^%DVIPSSource:/d' > file1