commit be70bbdc64b58d7a8e5a3f37168ad39efdc51d1d
parent 92efe3b3036a144cf2bb222e7a33004db4a08009
Author: ng0 <ng0@infotropique.org>
Date: Fri, 27 Oct 2017 16:14:30 +0000
doc: doc-gendoc-install rule.
Diffstat:
2 files changed, 6 insertions(+), 1 deletion(-)
diff --git a/contrib/packages/guix/gnunet-doc.scm b/contrib/packages/guix/gnunet-doc.scm
@@ -152,7 +152,7 @@
;;(zero? (system* "make" "doc-all-give-me-the-noise"))))
(replace 'install
(lambda _
- (zero? (system* "make" "doc-all-install")))))))
+ (zero? (system* "make" "doc-gendoc-install")))))))
;;(lambda* (#:key outputs #:allow-other-keys)
;; (let* ((out (assoc-ref outputs "out"))
;; (doc (string-append out "/share/doc/gnunet")))
diff --git a/doc/documentation/Makefile.am b/doc/documentation/Makefile.am
@@ -185,6 +185,10 @@ doc-all-install:
@install gnunet.html $(DESTDIR)/$(docdir)
@install gnunet-c-tutorial.html $(DESTDIR)/$(docdir)
+doc-gendoc-install:
+ @mkdir -p $(DESTDIR)/$(docdir)
+ @install -m 0755 manual $(DESTDIR)/$(docdir)
+
# @cp -r images $(DESTDIR)/$(infoimagedir)
dev-build: version.texi version2.texi
@@ -208,6 +212,7 @@ clean:
@rm gnunet-c-tutorial.html
@rm -r gnunet.t2p
@rm -r gnunet-c-tutorial.t2p
+ @rm -r manual
# CLEANFILES = \
# gnunet.log \