diff options
-rw-r--r-- | misc/common-makefile.am | 1 | ||||
-rw-r--r-- | src/clients/cave/Makefile.am | 10 |
2 files changed, 9 insertions, 2 deletions
diff --git a/misc/common-makefile.am b/misc/common-makefile.am index 91881b4c0..ef35bc008 100644 --- a/misc/common-makefile.am +++ b/misc/common-makefile.am @@ -11,6 +11,7 @@ LOG_COMPILER = \ ACCERSO_OPTIONS="" \ ADJUTRIX_OPTIONS="" \ APPAREO_OPTIONS="" \ + CAVE_FORMATS_CONF="/dev/null" \ CAVE_COMMANDS_PATH="" \ CAVE_OPTIONS="" \ CAVE_CONFIG_OPTIONS="" \ diff --git a/src/clients/cave/Makefile.am b/src/clients/cave/Makefile.am index eb9edf12a..5c8fa2adf 100644 --- a/src/clients/cave/Makefile.am +++ b/src/clients/cave/Makefile.am @@ -68,10 +68,16 @@ man_MANS = \ $(command_MANS) cave.1 : man-cave - env CAVE_COMMANDS_PATH="" ./man-cave > $@ + env \ + CAVE_FORMATS_CONF="/dev/null" \ + CAVE_COMMANDS_PATH="" \ + ./man-cave > $@ $(command_MANS) : man-cave - if ! env CAVE_COMMANDS_PATH="" ./man-cave `echo $@ | sed -e 's.^cave-..' -e 's,\.1$$,,'` > $@ ; then rm -f $@ ; exit 1 ; fi + if ! env \ + CAVE_FORMATS_CONF="/dev/null" \ + CAVE_COMMANDS_PATH="" \ + ./man-cave `echo $@ | sed -e 's.^cave-..' -e 's,\.1$$,,'` > $@ ; then rm -f $@ ; exit 1 ; fi cave_SOURCES = \ cave.cc |