dicttoc1
Convert dict file
Usage
dicttoc [-dict
dict-file]
[-code_prefix
code_prefix]
Overview
This manual page briefly describes the dicttoc commands.
dicttoc place constant terms and afuns special in '.dict' file.
Options
-dictdict file-
must be of the following format :
- •
-
afuns([alias3,symbol1],[alias4,symbol2])
- •
-
terms([[alias1,term1],[alias2,term2],...])