diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2015-01-27 00:17:56 +0000 |
|---|---|---|
| committer | David Malcolm <dmalcolm@gcc.gnu.org> | 2015-01-27 00:17:56 +0000 |
| commit | 5a28932adddefd19adda593a7dbf05991215fb15 (patch) | |
| tree | ca0aa50a11ad00ea7134f625d9961e7136990d56 /gcc/tree-chkp.c | |
| parent | e24439197f6d45d4622c9223d1fc11cbfb85f0ed (diff) | |
| download | gcc-5a28932adddefd19adda593a7dbf05991215fb15.zip gcc-5a28932adddefd19adda593a7dbf05991215fb15.tar.gz gcc-5a28932adddefd19adda593a7dbf05991215fb15.tar.bz2 | |
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
Diffstat (limited to 'gcc/tree-chkp.c')
0 files changed, 0 insertions, 0 deletions