update_web_docs_svn: support the JIT documentation
commit6101e2f5f336e865d238bf7879823b4a5c32105e
authordmalcolm <dmalcolm@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 27 Jan 2015 00:17:56 +0000 (27 00:17 +0000)
committerdmalcolm <dmalcolm@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 27 Jan 2015 00:17:56 +0000 (27 00:17 +0000)
treeca0aa50a11ad00ea7134f625d9961e7136990d56
parent543426e5d8fd438e9c56c59318a9b5a1ae3167ae
update_web_docs_svn: support the JIT documentation

maintainer-scripts/ChangeLog:
* update_web_docs_svn: Don't delete gcc/jit/docs or
gcc/jit/jit-common.h, gcc/jit/notes.txt. Special case the
building of the JIT docs (using sphinx-build).  Special case
copying them up.

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