diff options
Diffstat (limited to '')
| -rw-r--r-- | m4/man-arg-device.m4 | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/m4/man-arg-device.m4 b/m4/man-arg-device.m4 new file mode 100644 index 0000000..d3996c2 --- /dev/null +++ b/m4/man-arg-device.m4 @@ -0,0 +1,15 @@ +# man-arg-device.m4 serial 1 +dnl MAN_ARG_DEVICE +dnl Add a --with-device option. + +AC_DEFUN([MAN_ARG_DEVICE], +[ +AC_ARG_WITH([device], +[AS_HELP_STRING([--with-device=DEVICE], [use nroff with the output device DEVICE])], + [if test "$withval" = "yes" || test "$withval" = "no" + then + AC_MSG_ERROR([--with-device requires an argument]) + else + nroff_device=" -T$withval" + fi]) +]) |