Hi Phil, you wrote Saturday, March 10, 2012 10:16 AM
Once you have a successful make doc, you might be surprised how little
time it takes to remake to check changes now. On my admittedly quick
machine, make -j9 CPU_COUNT=9 LANGS='' doc takes about 5 seconds.
It's certainly a lot better than
- Original Message -
From: "Trevor Daniels"
To: "Lily-Devel List"
Sent: Friday, March 09, 2012 11:06 PM
Subject: Fixes to auxiliar/doc-section.sh
I've just pushed some fixes to auxiliar/doc-section.sh to staging, as
several things seemed to have gone wrong
I've just pushed some fixes to auxiliar/doc-section.sh to staging, as
several things seemed to have gone wrong with it since I last used it. The
script is intended to be used for quickly checking changes made to the
English docs. It compiles a section of the docs to html in a minute
