Re: [PING, www] Re: [PATCH] update_web_docs_svn: support the JIT docs (PR jit/64257)

2015-02-02 Thread Gerald Pfeifer
Hi David, On Monday 2015-02-02 11:39, David Malcolm wrote: * 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. >> I've committed t

[PING, www] Re: [PATCH] update_web_docs_svn: support the JIT docs (PR jit/64257)

2015-02-02 Thread David Malcolm
On Mon, 2015-01-26 at 19:14 -0500, David Malcolm wrote: > On Mon, 2015-01-26 at 15:21 -0700, Jeff Law wrote: > > On 01/26/15 09:42, David Malcolm wrote: > > > > > update_web_docs_svn-support-the-JIT-documention-v2.patch > > > > > > > > > From 7f7e15881981228e51b347f23df6e3106ddd68ea Mon Sep 17 00