2018-10-30 | ihse | Either copy old static pages, or new dynamic. | changeset | files |
2018-10-30 | ihse | Add handling of footnotes to javascript filter. | changeset | files |
2018-10-30 | ihse | For man pages: Depend also on js filter, and css file copy. | changeset | files |
2018-10-30 | ihse | Fix links in pandoc filter. | changeset | files |
2018-10-30 | ihse | Merge from default | changeset | files |
2018-10-26 | ihse | Move the man pages to their correct modules. | changeset | files |
Loading... |