diff options
author | ng0 <ng0@infotropique.org> | 2017-08-24 09:43:56 +0000 |
---|---|---|
committer | ng0 <ng0@infotropique.org> | 2017-08-24 09:43:56 +0000 |
commit | 2909294342ee9c9cdacfbc75ab852c54f34c7bb9 (patch) | |
tree | dab0e9f13d7ece846f9bb2fe10976bc343074cbb | |
parent | 893952aa643261b5406f6ecf457697dd581dc361 (diff) | |
download | gnunet-2909294342ee9c9cdacfbc75ab852c54f34c7bb9.tar.gz gnunet-2909294342ee9c9cdacfbc75ab852c54f34c7bb9.zip |
doc: This should add the ability to explicitly only build the documentation.
-rw-r--r-- | contrib/packages/guix/packages/gnunet/packages/gnunet.scm | 48 | ||||
-rw-r--r-- | doc/Makefile.am | 15 |
2 files changed, 63 insertions, 0 deletions
diff --git a/contrib/packages/guix/packages/gnunet/packages/gnunet.scm b/contrib/packages/guix/packages/gnunet/packages/gnunet.scm index 574714350..71d5a8b46 100644 --- a/contrib/packages/guix/packages/gnunet/packages/gnunet.scm +++ b/contrib/packages/guix/packages/gnunet/packages/gnunet.scm | |||
@@ -159,6 +159,54 @@ | |||
159 | ;; ;; XXX: HOW??? ulimit -c unlimited | 159 | ;; ;; XXX: HOW??? ulimit -c unlimited |
160 | ;; (zero? (system* "make" "check")))))))) | 160 | ;; (zero? (system* "make" "check")))))))) |
161 | 161 | ||
162 | (define-public gnunet-doc | ||
163 | (package | ||
164 | (name "gnunet-doc") | ||
165 | (version (package-version gnunetg)) | ||
166 | (source (package-source gnunetg)) | ||
167 | (build-system gnu-build-system) | ||
168 | (native-inputs | ||
169 | `(("pkg-config" ,pkg-config) | ||
170 | ("autoconf" ,autoconf) | ||
171 | ("automake" ,automake) | ||
172 | ("gnu-gettext" ,gnu-gettext) | ||
173 | ("texinfo" ,texinfo) | ||
174 | ("libtool" ,libtool))) | ||
175 | (arguments | ||
176 | `(#:tests? #f ;Don't run tests | ||
177 | #:phases | ||
178 | (modify-phases %standard-phases | ||
179 | (add-after 'unpack 'patch-bin-sh | ||
180 | (lambda _ | ||
181 | (substitute* "bootstrap" | ||
182 | (("contrib/pogen.sh") "sh contrib/pogen.sh")) | ||
183 | (for-each (lambda (f) (chmod f #o755)) | ||
184 | (find-files "po" "")) | ||
185 | #t)) | ||
186 | (add-after 'patch-bin-sh 'bootstrap | ||
187 | (lambda _ | ||
188 | (zero? (system* "sh" "bootstrap")))) | ||
189 | (replace 'build | ||
190 | (lambda _ | ||
191 | (chdir "doc") | ||
192 | (zero? (system* "make" "doc-all")))) | ||
193 | (replace 'install | ||
194 | (lambda* (#:key outputs #:allow-other-keys) | ||
195 | (let* ((out (assoc-ref outputs "out")) | ||
196 | (doc (string-append out "/share/doc/gnunet"))) | ||
197 | (mkdir-p doc) | ||
198 | (install-file "gnunet.pdf" doc) | ||
199 | (install-file "gnunet.info" doc) | ||
200 | (copy-file-recursively "gnunet.html" | ||
201 | (string-append doc | ||
202 | "/html"))) | ||
203 | #t))))) | ||
204 | (synopsis "GNUnet documentation") | ||
205 | (description | ||
206 | "Gnunet-doc builds the documentation of GNUnet.") | ||
207 | (home-page "https://gnunet.org") | ||
208 | (license (package-license gnunet)))) | ||
209 | |||
162 | (define-public gnunetgpg | 210 | (define-public gnunetgpg |
163 | (package | 211 | (package |
164 | (inherit gnunetg) | 212 | (inherit gnunetg) |
diff --git a/doc/Makefile.am b/doc/Makefile.am index e130ccc0e..508326781 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am | |||
@@ -49,3 +49,18 @@ gnunet_TEXINFOS = \ | |||
49 | EXTRA_DIST = \ | 49 | EXTRA_DIST = \ |
50 | $(gnunet_TEXINFOS) \ | 50 | $(gnunet_TEXINFOS) \ |
51 | $(gnunet_doc_images) | 51 | $(gnunet_doc_images) |
52 | |||
53 | doc-pdf: | ||
54 | @makeinfo --pdf --quiet gnunet.texi | ||
55 | |||
56 | doc-html: | ||
57 | @makeinfo --html gnunet.texi | ||
58 | |||
59 | doc-info: | ||
60 | @makeinfo --no-split gnunet.texi | ||
61 | |||
62 | # FIXME: rm *.html and *.pdf | ||
63 | doc-clean: | ||
64 | @rm *.aux *.log *.toc *.cp *.cps | ||
65 | |||
66 | doc-all: doc-pdf doc-html doc-info | ||