diff options
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Makefile.am b/Makefile.am index e028901..84338a0 100644 --- a/Makefile.am +++ b/Makefile.am @@ -2,7 +2,7 @@ CLEANFILES = BUILT_SOURCES = EXTRA_DIST = bin_SCRIPTS = -man_MANS = +man1_MANS = UPLOAD_FILES = doc_DATA = dist_doc_DATA = @@ -14,8 +14,8 @@ include doc/Makefile-files include git-amb/Makefile-files if HAVE_NDIM_MAN2TXT -.1.txt: - set -x; $(NDIM_MAN2TXT) "$<" > "$@.new" +.man.txt: + $(NDIM_MAN2TXT) "$<" > "$@.new" test -s "$@.new" mv -f "$@.new" "$@" endif |