[Bug jit/64257] JIT documentation is not yet on the GCC website

[dmalcolm at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64257

--- Comment #8 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Author: dmalcolm
Date: Fri Feb  6 14:36:54 2015
New Revision: 220479

URL: https://gcc.gnu.org/viewcvs?rev=220479&root=gcc&view=rev
Log:
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.


Modified:
    trunk/maintainer-scripts/ChangeLog
    trunk/maintainer-scripts/update_web_docs_svn