mirror/gcc
1
0
Fork 0
mirror of https://github.com/gcc-mirror/gcc.git synced 2024-11-21 13:40:47 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

update_web_docs_git: Allow setting TEXI2*, add git build default

Browse Source 
maintainer-scripts/ChangeLog:

	* update_web_docs_git: Add a mechanism to override makeinfo,
	texi2dvi and texi2pdf, and default them to
	/home/gccadmin/texinfo/install-git/bin/${tool}, if present.
This commit is contained in:
Arsen Arsenović 2023-04-06 12:20:57 +02:00
parent afc7e20e79
commit fa3a566378
No known key found for this signature in database
GPG Key ID: 52C294301EA2C493
1 changed files with 14 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
maintainer-scripts/update_web_docs_git
View File

@ -14,6 +14,17 @@ export GITROOT
PATH=/usr/local/bin:$PATH
makeinfo_git=/home/gccadmin/texinfo/install-git/bin/
if [ -x "${makeinfo_git}"/makeinfo ]; then
: "${MAKEINFO:=${makeinfo_git}/makeinfo}"
: "${TEXI2DVI:=${makeinfo_git}/texi2dvi}"
: "${TEXI2PDF:=${makeinfo_git}/texi2pdf}"
else
: "${MAKEINFO:=makeinfo}"
: "${TEXI2DVI:=texi2dvi}"
: "${TEXI2PDF:=texi2pdf}"
fi
MANUALS="cpp
cppinternals
fastjar
@ -174,10 +185,10 @@ for file in $MANUALS; do
elif [ "$file" = "gnat_ugn" ]; then
includes="$includes -I gcc/gcc/ada -I gcc/gcc/ada/doc/gnat_ugn"
fi
makeinfo --html -c CONTENTS_OUTPUT_LOCATION=inline --css-ref $CSS $includes -o ${file} ${filename}
"${MAKEINFO}" --html -c CONTENTS_OUTPUT_LOCATION=inline --css-ref $CSS $includes -o ${file} ${filename}
tar cf ${file}-html.tar ${file}/*.html
texi2dvi $includes -o ${file}.dvi ${filename} </dev/null >/dev/null && dvips -o ${file}.ps ${file}.dvi
texi2pdf $includes -o ${file}.pdf ${filename} </dev/null
"${TEXI2DVI}" $includes -o ${file}.dvi ${filename} </dev/null >/dev/null && dvips -o ${file}.ps ${file}.dvi
"${TEXI2PDF}" $includes -o ${file}.pdf ${filename} </dev/null
mkdir -p $DOCSDIR/$file
fi
done