log build-aux/gendocs.sh @ 40057:b06060465f09

age author description
Tue, 01 Jan 2019 00:25:11 +0100 Paul Eggert maint: Run 'make update-copyright'
Sun, 17 Jun 2018 14:26:28 -0700 Pádraig Brady gendocs.sh: fix support for legacy --texi2html
Wed, 07 Mar 2018 00:29:38 -0800 Paul Eggert maint: write-file-hooks -> before-save-hook
Mon, 01 Jan 2018 00:57:25 +0000 Paul Eggert version-etc: new year
Mon, 01 Jan 2018 00:57:25 +0000 Paul Eggert maint: Run 'make update-copyright'
Wed, 13 Sep 2017 00:48:18 -0700 Paul Eggert all: prefer https: URLs
Sun, 01 Jan 2017 02:59:23 +0000 Paul Eggert version-etc: new year
Sat, 07 May 2016 19:15:26 +0200 Ludovic Courtès gendocs.sh: Set default TOP_NODE_UP_URL in HTML output.
Fri, 01 Jan 2016 00:56:19 -0800 Paul Eggert version-etc: new year
Tue, 05 May 2015 16:14:12 -0700 Karl Berry gendocs.sh: document new htmlarg default
Thu, 11 Dec 2014 16:49:21 +0100 Ludovic Courtès gendocs.sh: default to a common CSS style sheet for HTML output
Tue, 07 Apr 2015 14:50:26 -0700 Karl Berry gendocs: new option --tex for texi2dvi options
Fri, 02 Jan 2015 23:00:34 +0100 Ludovic Courtès gendocs: Update bug-report address and URLs to Gnulib's.
Thu, 01 Jan 2015 15:19:42 -0800 Paul Eggert gendocs: copyright date and version fix
Thu, 01 Jan 2015 01:38:23 +0000 Paul Eggert version-etc: new year
Thu, 01 May 2014 10:30:52 -0700 Karl Berry autoupdate
Tue, 26 Nov 2013 05:18:07 -0800 Karl Berry autoupdate
Fri, 08 Mar 2013 15:24:22 -0800 Karl Berry autoupdate
Tue, 05 Feb 2013 07:13:14 -0800 Karl Berry autoupdate
Mon, 29 Oct 2012 11:19:41 -0700 Karl Berry autoupdate
Tue, 23 Oct 2012 16:41:32 -0700 Karl Berry autoupdate
Sun, 02 Sep 2012 17:23:28 -0700 Karl Berry autoupdate
Sun, 02 Sep 2012 17:23:01 -0700 Karl Berry autoupdate
Fri, 08 Apr 2011 15:02:14 -0700 Karl Berry autoupdate
Fri, 10 Dec 2010 07:20:46 -0800 Karl Berry autoupdate
Sat, 27 Nov 2010 07:02:46 -0800 Karl Berry autoupdate
Sat, 27 Nov 2010 07:02:13 -0800 Karl Berry autoupdate
Tue, 21 Sep 2010 07:42:57 -0700 Karl Berry autoupdate
Tue, 27 Jul 2010 07:22:56 -0700 Karl Berry autoupdate
Tue, 22 Jun 2010 09:34:07 -0700 Karl Berry autoupdates
Tue, 04 May 2010 09:43:05 +0200 Jim Meyering gendocs.sh: make its "-s FILE" option more useful
Mon, 15 Feb 2010 07:20:37 -0800 Karl Berry autoupdate
Sun, 03 Jan 2010 06:30:52 -0800 Karl Berry autoupdate
Thu, 10 Sep 2009 06:11:30 -0700 Karl Berry autoupdate
Mon, 13 Apr 2009 10:04:12 -0700 Karl Berry remove trailing whitespace to placate Jim, more license syncs
Fri, 02 Jan 2009 08:11:41 -0800 Karl Berry autoupdate (for gendocs.sh accepting --email)
Fri, 02 Jan 2009 08:11:07 -0800 Karl Berry autoupdate (for gendocs.sh accepting --email)
Thu, 24 Apr 2008 06:38:34 -0700 Karl Berry autoupdate
Fri, 07 Mar 2008 08:38:32 -0800 Karl Berry autoupdate
Mon, 14 Jan 2008 07:57:42 -0800 Karl Berry autoupdate
Mon, 26 Nov 2007 06:17:07 -0800 Karl Berry autoupdate
Mon, 02 Jul 2007 13:58:56 +0000 Karl Berry autoupdate
Mon, 02 Apr 2007 22:56:19 +0000 Karl Berry autoupdate
Sat, 15 Jul 2006 19:58:49 +0000 Karl Berry autoupdate
Wed, 12 Jul 2006 07:27:31 +0000 Simon Josefsson Add gendocs, from texinfo.