OSDN Git Service

* update_web_docs: Allow for the same file name in different
authorjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 5 Nov 2001 08:47:51 +0000 (08:47 +0000)
committerjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 5 Nov 2001 08:47:51 +0000 (08:47 +0000)
directories.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@46784 138bc75d-0d04-0410-961f-82ee72b054a4

maintainer-scripts/ChangeLog
maintainer-scripts/update_web_docs

index 9bb32e5..5d8c609 100644 (file)
@@ -1,3 +1,8 @@
+2001-11-05  Joseph S. Myers  <jsm28@cam.ac.uk>
+
+       * update_web_docs: Allow for the same file name in different
+       directories.
+
 2001-10-29  Joseph S. Myers  <jsm28@cam.ac.uk>
 
        * update_web_docs: Generate libiberty and gnat-style manuals.
index fd80c9d..6872a4a 100755 (executable)
@@ -87,19 +87,21 @@ cd $WORKDIR
 find $CVSROOT/gcc -name \*.texi,v -print | fgrep -v -f/home/gccadmin/scripts/doc_exclude | sed -e s#$CVSROOT/##g -e s#,v##g -e s#Attic/##g > FILES
 
 
-# Checkout all the texi files and get them into a single directory.
-# If we ever have texi files with the same name we'll have to do this
-# differently.
+# Checkout all the texi files.
 cvs -Q co -r$RELEASE `cat FILES` gcc/gcc/doc/install.texi2html gcc/gcc/texinfo.tex gcc/gcc/doc/texinfo.tex gcc/gcc/doc/include/texinfo.tex
-mv `find . -name \*.texi -print` .
-mv `find . -name \*.tex -print` .
+
+# Find the directory to pass to -I; this is the one with texinfo.tex
+# and fdl.texi.
+texitexloc=`find . -name texinfo.tex`
+includedir=${texitexloc%/*}
 
 # Now convert the relevant files from texi to HTML and PostScript.
 for file in cpp chill cppinternals gcc gcj g77 gnat-style libiberty \
     objc-features porting; do
-  if [ -e ${file}.texi ]; then
-    /usr/local/bin/texi2html -glossary -menu -split_chapter ${file}.texi
-    texi2dvi ${file}.texi </dev/null && dvips -o ${file}.ps ${file}.dvi
+  filename=`find . -name ${file}.texi`
+  if [ "${filename}" ]; then
+    /usr/local/bin/texi2html -glossary -menu -split_chapter -I ${includedir} ${filename}
+    texi2dvi -I ${includedir} ${filename} </dev/null && dvips -o ${file}.ps ${file}.dvi
   fi
 done