diff options
Diffstat (limited to 'doc/yat2m.c')
-rw-r--r-- | doc/yat2m.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/yat2m.c b/doc/yat2m.c index 9ba950dcf..4be9ef7f2 100644 --- a/doc/yat2m.c +++ b/doc/yat2m.c @@ -1583,6 +1583,13 @@ main (int argc, char **argv) opt_store = 1; argc--; argv++; } + else if (!strcmp (*argv, "--html") || !strcmp (*argv, "--gnupgorg")) + { + /* These are dummy options to keep the Makefile simple. It + * is not expected that the HTML files for upload are + * created with this included version of yat2m. */ + argc--; argv++; + } else if (!strcmp (*argv, "--select")) { argc--; argv++; |