Tue, 30 Oct 2018 10:46:56 +0100 | ihse | Either copy old static pages, or new dynamic. | changeset | files |
Tue, 30 Oct 2018 09:33:51 +0100 | ihse | Add handling of footnotes to javascript filter. | changeset | files |
Tue, 30 Oct 2018 09:24:42 +0100 | ihse | For man pages: Depend also on js filter, and css file copy. | changeset | files |
Tue, 30 Oct 2018 09:24:14 +0100 | ihse | Fix links in pandoc filter. | changeset | files |
Tue, 30 Oct 2018 08:29:56 +0100 | ihse | Merge from default | changeset | files |
Fri, 26 Oct 2018 12:06:54 +0200 | ihse | Move the man pages to their correct modules. | changeset | files |
Fri, 26 Oct 2018 12:00:31 +0200 | ihse | Remove duplicate or obsolete man pages. | changeset | files |