diff options
| author | cinap_lenrek <cinap_lenrek@felloff.net> | 2017-05-09 16:23:48 +0200 |
|---|---|---|
| committer | cinap_lenrek <cinap_lenrek@felloff.net> | 2017-05-09 16:23:48 +0200 |
| commit | 2fda77e404ab5cd8fdc0ef906fac87d53f9301b9 (patch) | |
| tree | 0648189ea75db7b5b704d15e12279b1264224977 /sys/doc/8½ | |
| parent | 015956ea614096cd51f9544c6742772c3ca3d425 (diff) | |
/sys/doc: fix mkfile to and remove files that now can be regenerated
Diffstat (limited to 'sys/doc/8½')
| -rw-r--r-- | sys/doc/8½/mkfile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/sys/doc/8½/mkfile b/sys/doc/8½/mkfile index d78cf404e..4f4f9816c 100644 --- a/sys/doc/8½/mkfile +++ b/sys/doc/8½/mkfile @@ -7,3 +7,7 @@ 8½.html:D: 8½.ms tbl 8½.ms | htmlroff -ms -mhtml >8½.html +%.pdf:D: %.ps + cat ../docfonts $stem.ps >_$stem.ps + # distill _$stem.ps && mv _$stem.pdf $stem.pdf + ps2pdf _$stem.ps $stem.pdf && rm -f _$stem.ps |