If set, a formfeed will be written at the end of every page. Default:
@code{on}.
-@item tab-width=@var{tab-width-value}
-
-The distance between tab stops for this device. If set to 0, tabs will
-not be used in the output. Default: @code{8}.
-
@item headers=@var{boolean}
If enabled, two lines of header information giving title and subtitle,
bool paginate; /* Insert formfeeds? */
bool squeeze_blank_lines; /* Squeeze multiple blank lines into one? */
enum emphasis_style emphasis; /* How to emphasize text. */
- int tab_width; /* Width of a tab; 0 not to use tabs. */
char *chart_file_name; /* Name of files used for charts. */
int width; /* Page width. */
"underline", EMPH_UNDERLINE,
"none", EMPH_NONE,
(char *) NULL);
- a->tab_width = parse_int (opt (d, o, "tab-width", "0"), 8, INT_MAX);
if (parse_enum (opt (d, o, "chart-type", "png"),
"png", true,