diff options
author | Paul Fertser <fercerpav@gmail.com> | 2014-01-27 20:38:27 +0400 |
---|---|---|
committer | Paul Fertser <fercerpav@gmail.com> | 2014-03-29 07:55:30 +0000 |
commit | 620448f98ffae1ccffba5f9031b667f9f613379d (patch) | |
tree | 8fb1271c365f3ace2c655910ec23ce8ae9dd5822 | |
parent | e483959a29db57a10d9add32e2ccda9023047b8c (diff) |
doc: add "manual/" directory in its entirety to dist
Change-Id: I750c2938ab207012a6488bf34f55d784e5e26b6e
Signed-off-by: Paul Fertser <fercerpav@gmail.com>
Reviewed-on: http://openocd.zylin.com/1903
Tested-by: jenkins
Reviewed-by: Spencer Oliver <spen@spen-soft.co.uk>
-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 \ |