diff options
| author | Simon South <simon@simonsouth.net> | 2020-10-06 09:56:44 -0400 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-10-06 16:20:39 +0200 |
| commit | 4756b9b1d9c1f13b21221461c6da40972a6e9cb3 (patch) | |
| tree | b712194a9304845b3eadcf55ad544d64bca5c48e | |
| parent | dadfc9bcd147143f019c9db337628d1b21a9594b (diff) | |
gnu: knot: Build & install the Info manual.
* gnu/packages/dns.scm (knot)[arguments]: Add "build-info" and
"install-info" phases.
[native-inputs]: Add texinfo and python-sphinx.
Signed-off-by: Tobias Geerinckx-Rice <me@tobias.gr>
| -rw-r--r-- | gnu/packages/dns.scm | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/gnu/packages/dns.scm b/gnu/packages/dns.scm index 0608ef1c6a..8f7374c147 100644 --- a/gnu/packages/dns.scm +++ b/gnu/packages/dns.scm @@ -70,6 +70,7 @@ #:use-module (gnu packages shells) #:use-module (gnu packages sphinx) #:use-module (gnu packages swig) + #:use-module (gnu packages texinfo) #:use-module (gnu packages tls) #:use-module (gnu packages web) #:use-module (gnu packages xml) @@ -842,6 +843,9 @@ Extensions} (DNSSEC).") ;; This is needed even when using ‘make config_dir=... install’. (substitute* "src/Makefile.in" (("\\$\\(INSTALL\\) -d") "true")) #t)) + (add-after 'build 'build-info + (lambda _ + (invoke "make" "info"))) (replace 'install (lambda* (#:key outputs #:allow-other-keys) (let* ((out (assoc-ref outputs "out")) @@ -849,13 +853,18 @@ Extensions} (DNSSEC).") (etc (string-append doc "/examples/etc"))) (invoke "make" (string-append "config_dir=" etc) - "install"))))))) + "install")))) + (add-after 'install 'install-info + (lambda _ + (invoke "make" "install-info")))))) (native-inputs `(("autoconf" ,autoconf) ("automake" ,automake) ("libtool" ,libtool) ("pkg-config" ,pkg-config) - ("ragel" ,ragel))) + ("python-sphinx" ,python-sphinx) + ("ragel" ,ragel) + ("texinfo" ,texinfo))) (inputs `(("fstrm" ,fstrm) ("gnutls" ,gnutls) |