diff options
| -rw-r--r-- | doc/Makefile.am | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 6759ed5e..935c8f9d 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -2,16 +2,9 @@ info_TEXINFOS = openocd.texi openocd_TEXINFOS = fdl.texi man_MANS = openocd.1 EXTRA_DIST = openocd.1 \ + manual \ INSTALL.txt -dist-hook: - mkdir $(distdir)/manual - cp -p $(srcdir)/manual/*.txt $(distdir)/manual - for i in $$(cd $(srcdir)/manual/ && ls -d */); do \ - mkdir $(distdir)/manual/$$i; \ - cp -p $(srcdir)/manual/$$i/* $(distdir)/manual/$$i/; \ - done - MAINTAINERCLEANFILES = \ $(srcdir)/Makefile.in \ $(srcdir)/mdate-sh \ |