Lines Matching defs:options
128 * the prologue, which is where they belong. If they're changed (by options), an
132 * other options.
199 static void options(void);
232 options(); /* handle the command line options */
322 options(void)
328 * Reads and processes the command line options. Added the -P option so arbitrary
330 * definitions in the prologue for which options have not been defined.
431 } /* End of options */
451 * Called from options() to map a user's font name into a legal PostScript name.
475 * Handles things that must be done after the options are read but before the
564 * is requested using the -A or -J options.