Lines Matching defs:options
100 * the prologue, which is where they belong. If they're changed (by options), an
104 * other options.
192 static void options(void);
223 options(); /* handle the command line options */
310 options(void)
317 * Reads and processes the command line options. Added the -P option so arbitrary
319 * definitions in the prologue for which options have not been defined.
446 } /* End of options */
460 * Called from options() to map a user's font name into a legal PostScript name.
485 * Handles things that must be done after the options are read but before the
572 * is requested using the -A or -J options.