The following patch builds and installs the JIT documentation for
the website (just HTML for now).
It's tricky to test (I don't have a copy of /www/gcc/bin/preprocess),
but I was able to use this to generate sane-looking documentation,
both for the .texi files, and for the JIT documentation.
Tested on Fedora 20, using python-sphinx-1.1.3-9.fc20.noarch.
I believe python-sphinx is in EPEL 6, fwiw.
maintainer-scripts/ChangeLog:
PR jit/64257
* update_web_docs_svn: Don't delete gcc/jit/docs,
since the jit docs are not .tex files (Makefile, .rst and
.png). Special-case the building of the JIT docs (using
sphinx-build). Special-case copying them up (since they
contain .css, .js and .png files in addition to .html, and
have nested subdirectories).
---
maintainer-scripts/update_web_docs_svn | 20 ++++++++++++++++++++
1 file changed, 20 insertions(+)
diff --git a/maintainer-scripts/update_web_docs_svn
b/maintainer-scripts/update_web_docs_svn
index c661220..c7eb890 100755
--- a/maintainer-scripts/update_web_docs_svn
+++ b/maintainer-scripts/update_web_docs_svn
@@ -116,6 +116,7 @@ find gcc -type f \( -name '*.texi' \
-o -path gcc/gcc/doc/include/texinfo.tex \
-o -path gcc/gcc/BASE-VER \
-o -path gcc/gcc/DEV-PHASE \
+ -o -path "gcc/gcc/jit/docs/*" \
-o -print0 \) | xargs -0 rm -f
# Build a tarball of the sources.
@@ -158,6 +159,15 @@ for file in $MANUALS; do
fi
done
+# The JIT is a special-case, using sphinx rather than texinfo.
+# The jit Makefile uses "sphinx-build", which is packaged in
+# Fedora and EPEL 6 within "python-sphinx".
+pushd gcc/gcc/jit/docs
+make html
+popd
+cp -a gcc/gcc/jit/docs/_build/html jit
+mkdir -p $DOCSDIR/jit
+
# Work around makeinfo generated file names and references with
# "_002d" instead of "-".
find . -name '*.html' | while read f; do
@@ -204,6 +214,16 @@ for file in */*.html *.ps *.pdf *.tar; do
fi
done
+# Again, the jit is a special case, with nested subdirectories
+# below "jit", and with some non-HTML files (.png images from us,
+# plus .js and .css supplied by sphinx).
+for file in $(find jit \
+ -name "*.html" -o -name "*.css" \
+ -o -name "*.js" -o -name "*.png"); do
+ mkdir -p $(dirname $DOCSDIR/$file)
+ cp $file $DOCSDIR/$file
+done
+
cd $DOCSDIR
# Finally, generate the installation documentation
--
1.8.5.3
