From: David Malcolm <dmalcolm@redhat.com>
Date: Fri, 6 Feb 2015 14:36:54 +0000 (+0000)
Subject: Fix 404 in "Show Source" in jit docs
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9baa38b7a0495194bafc0bccbed0858c6b9a94a6;p=gcc.git

Fix 404 in "Show Source" in jit docs

maintainer-scripts/ChangeLog:
	PR jit/64257
	* update_web_docs_svn: When copying up files for the built jit
	documentation, also copy up .txt files.

From-SVN: r220479
---

diff --git a/maintainer-scripts/ChangeLog b/maintainer-scripts/ChangeLog
index f80213902cc..0485bdf0bd1 100644
--- a/maintainer-scripts/ChangeLog
+++ b/maintainer-scripts/ChangeLog
@@ -1,3 +1,9 @@
+2015-02-06  David Malcolm  <dmalcolm@redhat.com>
+
+	PR jit/64257
+	* update_web_docs_svn: When copying up files for the built jit
+	documentation, also copy up .txt files.
+
 2015-02-04  David Malcolm  <dmalcolm@redhat.com>
 
 	PR jit/64257
diff --git a/maintainer-scripts/update_web_docs_svn b/maintainer-scripts/update_web_docs_svn
index 2544211e681..7832eed2ccb 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"