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 f80213902cc4691ad0ebc9dff495695c02495258..0485bdf0bd193c33e7d1bffbf9c64facb2226c2d 100644 (file)
--- 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 2544211e6811b9f356ff7bb656cba83470eba20e..7832eed2ccba6a506e0bba1020db4034ea54117b 100755 (executable)
--- 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"