aboutsummaryrefslogtreecommitdiff
path: root/maintainer-scripts
diff options
context:
space:
mode:
authorGaius Mulley <gaiusmod2@gmail.com>2023-03-17 00:08:20 +0100
committerGerald Pfeifer <gerald@pfeifer.com>2023-03-17 00:11:48 +0100
commitfa4d0ab533cc2bc9cb6f512b3d4bd0bbc01ee797 (patch)
treef7e8a4efe9991868ccea35011e5570c6120c22a8 /maintainer-scripts
parent78b3bf0e65072f5fa42a8da43698711220d4f8ef (diff)
downloadgcc-fa4d0ab533cc2bc9cb6f512b3d4bd0bbc01ee797.zip
gcc-fa4d0ab533cc2bc9cb6f512b3d4bd0bbc01ee797.tar.gz
gcc-fa4d0ab533cc2bc9cb6f512b3d4bd0bbc01ee797.tar.bz2
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.
Diffstat (limited to 'maintainer-scripts')
-rwxr-xr-xmaintainer-scripts/update_web_docs_git6
1 files changed, 5 insertions, 1 deletions
diff --git a/maintainer-scripts/update_web_docs_git b/maintainer-scripts/update_web_docs_git
index 1c6a993..4bb4897 100755
--- a/maintainer-scripts/update_web_docs_git
+++ b/maintainer-scripts/update_web_docs_git
@@ -24,6 +24,7 @@ MANUALS="cpp
gdc
gfortran
gfc-internals
+ gm2
gnat_ugn
gnat-style
gnat_rm
@@ -167,7 +168,10 @@ for file in $MANUALS; do
filename=`find . -name ${file}.texi`
if [ "${filename}" ]; then
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"
fi
makeinfo --html --css-ref $CSS $includes -o ${file} ${filename}