From 9baa38b7a0495194bafc0bccbed0858c6b9a94a6 Mon Sep 17 00:00:00 2001
From: David Malcolm <dmalcolm@redhat.com>
Date: Fri, 6 Feb 2015 14:36:54 +0000
Subject: [PATCH] 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
---
 maintainer-scripts/ChangeLog           | 6 ++++++
 maintainer-scripts/update_web_docs_svn | 6 ++++--
 2 files changed, 10 insertions(+), 2 deletions(-)

diff --git a/maintainer-scripts/ChangeLog b/maintainer-scripts/ChangeLog
index f80213902cc4..0485bdf0bd19 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 2544211e6811..7832eed2ccba 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"
-- 
GitLab