gdb server: Add back support to disable the gdb server via the gdb_port config

[openocd] / doc / Makefile.am

diff --git a/doc/Makefile.am b/doc/Makefile.am
index e85ed75207f1eb5b31d7bb8da7051fcac1b1f4e1..935c8f9d20b444c590b13a198a58e2f7f8bfe397 100644 (file)
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -1,10 +1,13 @@
 info_TEXINFOS = openocd.texi
 openocd_TEXINFOS = fdl.texi
 man_MANS = openocd.1
-EXTRA_DIST = openocd.1
+EXTRA_DIST = openocd.1 \
+       manual \
+       INSTALL.txt
 
-dist-hook:
-       mkdir $(distdir)/manual
-       cp -p $(srcdir)/manual/*.txt $(distdir)/manual
-
-MAINTAINERCLEANFILES = Makefile.in mdate-sh texinfo.tex
+MAINTAINERCLEANFILES = \
+       $(srcdir)/Makefile.in \
+       $(srcdir)/mdate-sh \
+       $(srcdir)/stamp-vti \
+       $(srcdir)/version.texi \
+       $(srcdir)/texinfo.tex