[PATCH] maintainer-scripts: Fix 404s in "Show Source" in jit docs

[David Malcolm]

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