diff options
Diffstat (limited to '')
| -rw-r--r-- | m4/man-arg-undoc.m4 | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/m4/man-arg-undoc.m4 b/m4/man-arg-undoc.m4 new file mode 100644 index 0000000..6c5e8a7 --- /dev/null +++ b/m4/man-arg-undoc.m4 @@ -0,0 +1,17 @@ +# man-arg-undoc.m4 serial 1 +dnl MAN_ARG_UNDOC +dnl Add an --enable-undoc option. + +AC_DEFUN([MAN_ARG_UNDOC], +[ +AC_ARG_ENABLE([undoc], +[AS_HELP_STRING([--enable-undoc=COMMAND], [suggest COMMAND for missing manual pages])], + [if test "$enableval" = "yes" || test "$enableval" = "no" + then + AC_MSG_ERROR([--enable-undoc requires an argument]) + else + AC_MSG_NOTICE([Suggesting '$enableval' for missing manual pages]) + AC_DEFINE_UNQUOTED([UNDOC_COMMAND], ["$enableval"], + [Define as the name of a command you want to suggest when a non-existent page is requested.]) + fi]) +]) |