diff options
Diffstat (limited to 'config')
-rw-r--r-- | config/commence.am | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/config/commence.am b/config/commence.am index 88afe32..3bd4a7e 100644 --- a/config/commence.am +++ b/config/commence.am @@ -96,8 +96,9 @@ CHECK_CLEANFILES=*.chkexe *.chklog *.clog *.clog2 # commands that should be executed even if a file with the same name already # exists. .PHONY: build-check-clean build-check-p build-check-s build-lib build-progs \ - build-tests check-clean check-install check-p check-s check-vfd \ - install-doc lib progs tests uninstall-doc _exec_check-s _test help + build-tests check-clean check-install check-p check-s check-vfd \ + install-doc lib progs tests uninstall-doc \ + _exec_check-s _test help trace doxygen help: @$(top_srcdir)/bin/makehelp |