Scott Kostyshak wrote:
> (a) change genlfuns to overwrite files
> or
> (b) instead of renaming the LFUNs.lyx file to just remove it?
>
> Now we have a LFUNs.lyx.old file hanging around after running this
> script. It is not a big bother, but if it is not necessary we might as
> well avoid it.
>
>
On Sat, Jan 16, 2016 at 11:08:56AM +0100, Georg Baum wrote:
> commit 51d4036d162a81c2c27423adb50b9d6a48720ecc
> Author: Georg Baum
> Date: Sat Jan 16 11:08:22 2016 +0100
>
> Generate LFUNs.lyx in updatedocs
>
> As suggested by Guillaume.
>
> diff --git a/development/tools/updatedo