On Sat, Jan 16, 2016 at 11:08:56AM +0100, Georg Baum wrote: > commit 51d4036d162a81c2c27423adb50b9d6a48720ecc > Author: Georg Baum <b...@lyx.org> > Date: Sat Jan 16 11:08:22 2016 +0100 > > Generate LFUNs.lyx in updatedocs > > As suggested by Guillaume. > > diff --git a/development/tools/updatedocs.py b/development/tools/updatedocs.py > index a912680..9101099 100755 > --- a/development/tools/updatedocs.py > +++ b/development/tools/updatedocs.py > @@ -14,6 +14,7 @@
> + # genlfuns refuses to overwrite files > + if os.path.exists(lfuns): > + os.rename(lfuns, os.path.join(lfunspath, "LFUNs.lyx.old")) Would it make sense to either: (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. I volunteer to attempt to implement (a) or (b) if it is desired. For other comments on this commit, see the comments in response to 360742c5. Scott
signature.asc
Description: PGP signature
