Tested locally with a suitably hacked up script to work on this
machine; with this patch the "Show Sources" links work within the
files installed to /www/gcc/htdocs.
OK for trunk?
maintainer-scripts/ChangeLog:
* update_web_docs_svn: When copying up files for the built jit
documentation, also copy up .txt files.
---
maintainer-scripts/update_web_docs_svn | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/maintainer-scripts/update_web_docs_svn
b/maintainer-scripts/update_web_docs_svn
index 2544211..7832eed 100755
--- a/maintainer-scripts/update_web_docs_svn
+++ b/maintainer-scripts/update_web_docs_svn
@@ -233,10 +233,12 @@ done
# Again, the jit is a special case, with nested subdirectories
# below "jit", and with some non-HTML files (.png images from us,
-# plus .css and .js supplied by sphinx).
+# plus .css and .js supplied by sphinx, and source files, renamed
+# from .rst to .txt).
find jit \
-name "*.html" -o -name "*.png" \
- -o -name "*.css" -o -name "*.js" |
+ -o -name "*.css" -o -name "*.js" \
+ -o -name "*.txt" |
while read file ; do
# Note that $file here will contain path fragments beginning
# with "jit/", e.g. "jit/cp/topics/functions.html"
--
1.8.5.3
