Fix 404 in "Show Source" in jit docs
commitdab7110f682e5b3151edd9f8ed6599199c1b2dde
authordmalcolm <dmalcolm@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 6 Feb 2015 14:36:54 +0000 (6 14:36 +0000)
committerdmalcolm <dmalcolm@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 6 Feb 2015 14:36:54 +0000 (6 14:36 +0000)
tree1dbe1a0b9330f9281ed3b7cf107243dd11eca494
parent42231db5d6d830cc29021561dec3a2487c83292e
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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@220479 138bc75d-0d04-0410-961f-82ee72b054a4
maintainer-scripts/ChangeLog
maintainer-scripts/update_web_docs_svn