diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/limbotk/mkfile | 10 | ||||
| -rw-r--r-- | doc/limbotk/tk.pdf | bin | 827414 -> 67571 bytes |
2 files changed, 10 insertions, 0 deletions
diff --git a/doc/limbotk/mkfile b/doc/limbotk/mkfile new file mode 100644 index 00000000..c33c14f8 --- /dev/null +++ b/doc/limbotk/mkfile @@ -0,0 +1,10 @@ +<../fonts.pal + +tk.ps:D: tk.ms f1.ps f2.ps mkfile + {echo $FONTS; cat tk.ms} | tbl | troff -mpm -mpictures | lp -d stdout >$target +#%.ps: %.gif mkfile +# fb/gif2pic $stem.gif | fb/pic2ps -c >$stem.ps +#%.ps: %.gif mkfile +# lp -d stdout <$stem.gif >$stem.ps +%.pdf: %.ps + ps2pdf <$stem.ps >$stem.pdf diff --git a/doc/limbotk/tk.pdf b/doc/limbotk/tk.pdf Binary files differindex fc6b4831..343e9cf8 100644 --- a/doc/limbotk/tk.pdf +++ b/doc/limbotk/tk.pdf |