|
r30703
| file changeset diff or repo changeset diff
| igor2 | 2020-04-18T06:21:06.777469Z
| [doc] -Fix: build_ps: autotoc cutting the header at the wrong char moving the first char of the title before the numbering
|
|
|
r30441
| file changeset diff or repo changeset diff
| igor2 | 2020-04-04T16:16:01.210059Z
| [util] -Add: build_ps: remove <head> subtrees to make sure html2ps is not confused [util] -Add: build_ps: omit lines that have the nopdf="yes" tag
|
|
|
|
r30434
| file changeset diff or repo changeset diff
| igor2 | 2020-04-04T14:17:17.656050Z
| [util] -Add: build_ps: convert svg to png using convert(1), html2ps doesn't handle svg [util] -Add: build_ps: fix up src= links so html2ps finds the pictures
|
|
|