Revert "target: remove unused working area 'user' field"

[fw/openocd] / doc / Makefile.am

diff --git a/doc/Makefile.am b/doc/Makefile.am
index ce2d78d9d938a064b2f3ad8bf15efad94f44642c..6759ed5e7d0405893ca851af53a27e2d85cfe564 100644 (file)
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -1,7 +1,8 @@
 info_TEXINFOS = openocd.texi
 openocd_TEXINFOS = fdl.texi
 man_MANS = openocd.1
-EXTRA_DIST = openocd.1
+EXTRA_DIST = openocd.1 \
+       INSTALL.txt
 
 dist-hook:
        mkdir $(distdir)/manual
@@ -14,4 +15,6 @@ dist-hook:
 MAINTAINERCLEANFILES = \
        $(srcdir)/Makefile.in \
        $(srcdir)/mdate-sh \
+       $(srcdir)/stamp-vti \
+       $(srcdir)/version.texi \
        $(srcdir)/texinfo.tex