X-Git-Url: https://review.openocd.org/gitweb?p=openocd.git;a=blobdiff_plain;f=doc%2FMakefile.am;h=24f68a1e7dd5fff154abe37cedfe56284496fcab;hp=935c8f9d20b444c590b13a198a58e2f7f8bfe397;hb=cc2d4f015f72d7c30d613b50572eb9f31fac515a;hpb=620448f98ffae1ccffba5f9031b667f9f613379d

diff --git a/doc/Makefile.am b/doc/Makefile.am
index 935c8f9d20..24f68a1e7d 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -2,8 +2,7 @@ info_TEXINFOS = openocd.texi
 openocd_TEXINFOS = fdl.texi
 man_MANS = openocd.1
 EXTRA_DIST = openocd.1 \
-	manual \
-	INSTALL.txt
+	manual
 
 MAINTAINERCLEANFILES = \
 	$(srcdir)/Makefile.in \