]> git.sur5r.net Git - openocd/commitdiff
doc: add "manual/" directory in its entirety to dist
authorPaul Fertser <fercerpav@gmail.com>
Mon, 27 Jan 2014 16:38:27 +0000 (20:38 +0400)
committerPaul Fertser <fercerpav@gmail.com>
Sat, 29 Mar 2014 07:55:30 +0000 (07:55 +0000)
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>
doc/Makefile.am

index 6759ed5e7d0405893ca851af53a27e2d85cfe564..935c8f9d20b444c590b13a198a58e2f7f8bfe397 100644 (file)
@@ -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 \