28 Commits

Author	SHA1	Message	Date
Simon Michael	9b74471d02	;doc: regen csv manuals ... [ci skip]	2019-11-12 13:32:35 -08:00
Simon Michael	7ecc42f142	;doc: regen manuals ... [ci skip]	2019-11-06 13:15:17 -08:00
Simon Michael	445adbe9d1	;doc: regen manuals ... [ci skip]	2019-10-23 12:30:27 -07:00
Simon Michael	a0deb88796	;doc: regen manuals ... [ci skip]	2019-09-13 11:00:03 -07:00
Simon Michael	af21ae6eb6	;doc: regen manuals ... Wrapping and hyphenation has changed again, which I thought would be more stable now with same tool versions on laptop and server. Who knows.	2019-09-13 08:43:33 -07:00
Simon Michael	85d48a6b0e	;doc: regen manuals (on server) ... Usually done on my laptop, but the toolchain on both machines should produce the same result these days.. [ci skip]	2019-09-09 08:04:26 -07:00
Simon Michael	7ae75022bf	;doc: regen manuals	2019-09-05 15:35:44 -07:00
Simon Michael	16a3c96da0	;doc: regen manuals ... [ci skip]	2019-09-02 11:11:56 -07:00
Simon Michael	b1859769ac	;doc: regen man pages ... [ci skip]	2019-09-01 08:53:06 -07:00
Simon Michael	5e54920160	;regen embedded manuals	2019-05-23 22:26:43 -07:00
Simon Michael	0cd5545e26	regen cabal files/manuals ... [ci skip]	2019-03-01 16:17:25 -08:00
Simon Michael	21fac53954	doc: regen manuals ... [ci skip]	2019-02-11 14:15:44 -08:00
Simon Michael	f9b85a1d4c	update embedded docs	2019-02-01 17:23:12 -08:00
Simon Michael	d4fa546d27	update generated journal, csv manuals ... [ci skip]	2019-01-19 15:31:22 -08:00
Simon Michael	3cf21190c0	update embedded manuals	2019-01-05 07:35:54 +00:00
Simon Michael	40713ee7aa	update embedded manuals	2018-12-02 17:26:18 -08:00
Simon Michael	862fb873b4	update embedded manuals	2018-10-06 09:42:27 -10:00
Simon Michael	7bc500ccd2	update embedded manuals	2018-09-30 20:08:15 -10:00
Simon Michael	d461e96c34	doc: update manuals harder, they should say 1.10.99 ... [ci skip]	2018-07-04 15:09:57 +01:00
Simon Michael	4f40467d86	update embedded manuals	2018-07-04 13:33:27 +01:00
Simon Michael	91c487d4c2	doc: manuals: update version strings	2018-07-04 12:52:29 +01:00
Simon Michael	22f2e90a4b	update embedded manuals	2018-06-30 22:08:48 +01:00
Simon Michael	3a3829ac0f	doc: regen embedded manuals	2018-04-20 06:48:26 -07:00
Simon Michael	027abcabe6	update embedded manuals	2018-03-31 19:15:24 +01:00
Simon Michael	a0d765edb5	update embedded manuals	2018-01-04 10:19:27 -08:00
Simon Michael	6ccabe3b48	update embedded manuals	2017-12-31 10:22:09 -08:00
Simon Michael	07596b1c54	update embedded manuals	2017-12-22 10:13:38 -08:00
Simon Michael	968cff7a4a	remove numbers from all but nroff filenames	2017-12-06 18:35:18 -08:00