diff options
Diffstat (limited to 'systems/amiga/pastex/flib110.readme')
-rw-r--r-- | systems/amiga/pastex/flib110.readme | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/systems/amiga/pastex/flib110.readme b/systems/amiga/pastex/flib110.readme new file mode 100644 index 0000000000..ed920c95ee --- /dev/null +++ b/systems/amiga/pastex/flib110.readme @@ -0,0 +1,24 @@ +Short: New version of flib (for PasTeX1.3) + +New fatures: + +- wildcard support (only if compiled with DICE) +- strip path/extension if adding a font to a library + +Example: + + % flib avse TeX:fontlib/PK0100 TeX:pk/100/#? + +This will add all fonts of TeX:pk/100 into the fontlib +TeX:fontlib/PK0100 and strip the path "TeX:pk/100/" +as well as the extension ".100pk" from the module +names. So ShowDVI/DVIprint will find the fonts +immediately without changing anything in TeX:config/#?.fnt. + +Note: Wildcard support is only for adding modules, +not for extracting them! (No matching within the library) + + + Georg Heßmann (hessmann@informatik.uni-hamburg.de) + + |