1546 |
{ NULL, 0, 0, 0 } |
{ NULL, 0, 0, 0 } |
1547 |
}; |
}; |
1548 |
while ((c = getopt_long(argc, argv, |
while ((c = getopt_long(argc, argv, |
1549 |
"+a:g:o:i:I:j:D:F:vbdhlrnp", long_options, NULL)) |
"+a:g:o:i:I:j:D:F:s:vbdhlrnp", long_options, NULL)) |
1550 |
!= EOF) |
!= EOF) |
1551 |
switch(c) { |
switch(c) { |
1552 |
case 'v': |
case 'v': |
1583 |
case 'F': |
case 'F': |
1584 |
font_path.command_line_dir(optarg); |
font_path.command_line_dir(optarg); |
1585 |
break; |
break; |
1586 |
|
case 's': |
1587 |
|
// handled by post-grohtml (use font size n as the html base font size) |
1588 |
|
break; |
1589 |
case 'j': |
case 'j': |
1590 |
// handled by post-grohtml (set job name for multiple file output) |
// handled by post-grohtml (set job name for multiple file output) |
1591 |
break; |
break; |