diff options
Diffstat (limited to '')
| -rw-r--r-- | m4/man-arg-override-dir.m4 | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/m4/man-arg-override-dir.m4 b/m4/man-arg-override-dir.m4 new file mode 100644 index 0000000..6a94ec3 --- /dev/null +++ b/m4/man-arg-override-dir.m4 @@ -0,0 +1,17 @@ +# man-arg-override-dir.m4 serial 1 +dnl MAN_ARG_OVERRIDE_DIR +dnl Add an --enable-override-dir option. + +AC_DEFUN([MAN_ARG_OVERRIDE_DIR], +[ +AC_ARG_WITH([override-dir], +[AS_HELP_STRING([--with-override-dir=OVERRIDE], [use OVERRIDE as relative override dir inside the man path - the first directory to be searched when looking for man pages])], + [if test "$withval" = "yes" || test "$withval" = "no" + then + AC_MSG_ERROR([--with-override-dir requires an argument]) + else + override_dir=$withval + fi], + [: ${override_dir=""}]) +AC_SUBST([override_dir]) +]) |