From d36eb37cf9f14d615c57eaa4ff4ab2f3b7ae698b Mon Sep 17 00:00:00 2001 From: Klas Lindfors Date: Tue, 17 Jun 2014 11:01:01 +0200 Subject: [PATCH] no EXTRA_DIST in tool --- tool/Makefile.am | 2 -- 1 file changed, 2 deletions(-) diff --git a/tool/Makefile.am b/tool/Makefile.am index 6dd4dba..ab6503d 100644 --- a/tool/Makefile.am +++ b/tool/Makefile.am @@ -45,8 +45,6 @@ MAINTAINERCLEANFILES = $(BUILT_SOURCES) dist_man_MANS = yubico-piv-tool.1 MAINTAINERCLEANFILES += $(dist_man_MANS) -EXTRA_DIST = windows.mk mac.mk tests/basic.sh - yubico-piv-tool.1: $(yubico_piv_tool_SOURCES) \ $(top_srcdir)/configure.ac $(HELP2MAN) --no-info \