projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e244391) | patch
update_web_docs_svn: support the JIT documentation
authorDavid Malcolm <dmalcolm@redhat.com>
Tue, 27 Jan 2015 00:17:56 +0000 (00:17 +0000)
committerDavid Malcolm <dmalcolm@gcc.gnu.org>
Tue, 27 Jan 2015 00:17:56 +0000 (00:17 +0000)
commit5a28932adddefd19adda593a7dbf05991215fb15
treeca0aa50a11ad00ea7134f625d9961e7136990d56tree | snapshot
parente24439197f6d45d4622c9223d1fc11cbfb85f0edcommit | diff
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.

From-SVN: r220149
maintainer-scripts/ChangeLog diff | blob | history
maintainer-scripts/update_web_docs_svn diff | blob | history
Domain: System / Toolchain;