git
/
gcc
mirror of git://gcc.gnu.org/git/gcc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

maintainer-scripts: Add Modula-2 manual to update_web_docs_git 

maintainer-scripts/ChangeLog:

	* update_web_docs_git (MANUALS): Add gm2.
	Add include path for gm2 manual.
This commit is contained in:
Gaius Mulley 2023-03-17 00:08:20 +01:00 committed by Gerald Pfeifer
parent 78b3bf0e65
commit fa4d0ab533
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
maintainer-scripts/update_web_docs_git
View File

@ -24,6 +24,7 @@ MANUALS="cpp
gdc gdc
gfortran gfortran
gfc-internals gfc-internals
gm2
gnat_ugn gnat_ugn
gnat-style gnat-style
gnat_rm gnat_rm
@ -167,7 +168,10 @@ for file in $MANUALS; do
filename=`find . -name ${file}.texi` filename=`find . -name ${file}.texi`
if [ "${filename}" ]; then if [ "${filename}" ]; then
includes="-I ${includedir} -I `dirname ${filename}`" includes="-I ${includedir} -I `dirname ${filename}`"
if [ "$file" = "gnat_ugn" ]; then if [ "$file" = "gm2" ]; then
includes="$includes -I gcc/gcc/m2/target-independent"
includes="$includes -I gcc/gcc/m2/target-independent/m2"
elif [ "$file" = "gnat_ugn" ]; then
includes="$includes -I gcc/gcc/ada -I gcc/gcc/ada/doc/gnat_ugn" includes="$includes -I gcc/gcc/ada -I gcc/gcc/ada/doc/gnat_ugn"
fi fi
makeinfo --html --css-ref $CSS $includes -o ${file} ${filename} makeinfo --html --css-ref $CSS $includes -o ${file} ${filename}