Re: [isabelle] Should isatool document preparation preserve timestamps while copying?
On Sun, 21 Feb 2010, Rafal Kolanski wrote:
My current solution to this is to tell isatool not to copy anything, and then
do the copying manually, like so:
cd ..; $(USEDIR) $(BASE_IMAGE) $(SESSION)
rsync -av -c -H document/ generated
USEDIR = $(ISATOOL) usedir -v true -i false -d false -D generated -C false
Using -D generated is indeed the usual way to achieve any custom
behaviour, beyond that what the example setup of the document preparation
tool is doing.
BTW, "isatool" and the $ISATOOL variable are way old. The tool wrapper is
called "isabelle", and "$ISABELLE_TOOL" refers to it within the process
This archive was generated by a fusion of
Pipermail (Mailman edition) and