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
This commit is contained in:
David Malcolm 2015-02-06 14:36:54 +00:00 committed by David Malcolm
parent 1901e8d621
commit 9baa38b7a0
2 changed files with 10 additions and 2 deletions

View File

@ -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

View File

@ -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"