diff options
author | Vivien Kraus <vivien@planete-kraus.eu> | 2021-10-01 12:11:24 +0200 |
---|---|---|
committer | Vivien Kraus <vivien@planete-kraus.eu> | 2021-10-04 23:08:13 +0200 |
commit | d1345056d1e7febb430a954813a6088976e47ac5 (patch) | |
tree | 918d63868b4bcb84c4f71255a20ca37d9ae69338 | |
parent | f04ced9332a8fff92fb5fb8cc452dc7858ceb3e5 (diff) |
Publish the PDF version of the manual
-rw-r--r-- | doc/disfluid.texi | 5 | ||||
-rw-r--r-- | guix/vkraus/packages/disfluid.scm | 24 |
2 files changed, 26 insertions, 3 deletions
diff --git a/doc/disfluid.texi b/doc/disfluid.texi index f655f76..c268bcf 100644 --- a/doc/disfluid.texi +++ b/doc/disfluid.texi @@ -56,6 +56,11 @@ The software is available at is tracked in the Guix channel @url{https://labo.planete-kraus.eu/webid-oidc-channel.git}. +@ifnottex +A PDF version of this manual is available at +@url{https://disfluid.planete-kraus.eu/disfluid.pdf}. +@end ifnottex + @menu * Decentralized Authentication on the Web:: * Invoking disfluid:: diff --git a/guix/vkraus/packages/disfluid.scm b/guix/vkraus/packages/disfluid.scm index e26f604..6b3d852 100644 --- a/guix/vkraus/packages/disfluid.scm +++ b/guix/vkraus/packages/disfluid.scm @@ -29,6 +29,7 @@ #:use-module (gnu packages nettle) #:use-module (gnu packages pkg-config) #:use-module (gnu packages texinfo) + #:use-module (gnu packages tex) #:use-module (gnu packages autotools) #:use-module (gnu packages gettext) #:use-module (gnu packages man) @@ -179,7 +180,15 @@ '()) ,@make-flags)))) (add-after - 'build-html 'complete-corresponding-source + 'build-html 'build-pdf + (lambda* (#:key make-flags parallel-build? #:allow-other-keys) + (apply invoke "make" "pdf" + `(,@(if parallel-build? + `("-j" ,(number->string (parallel-job-count))) + '()) + ,@make-flags)))) + (add-after + 'build-pdf 'complete-corresponding-source (lambda* (#:key make-flags parallel-build? #:allow-other-keys) (apply invoke "make" "dist" `(,@(if parallel-build? @@ -189,7 +198,7 @@ (replace 'install (lambda* (#:key make-flags parallel-build? outputs #:allow-other-keys) - (apply invoke "make" "install-html" + (apply invoke "make" "install-pdf" "install-html" `(,@(if parallel-build? `("-j" ,(number->string (parallel-job-count))) '()) @@ -200,14 +209,23 @@ (call-with-input-file ".tarball-version" get-string-all) #\newline)))) + (symlink (string-append + (assoc-ref outputs "out") + "/share/doc/disfluid/disfluid.pdf") + (string-append + (assoc-ref outputs "out") + "/share/doc/disfluid/disfluid.html/disfluid.pdf")) (copy-file (string-append "disfluid-" version ".tar.gz") (string-append (assoc-ref outputs "out") "/share/doc/disfluid/disfluid.html/complete-corresponding-source.tar.gz")))))))) + (native-inputs + `(("texlive" ,texlive) + ,@(package-native-inputs disfluid))) (synopsis "HTML documentation for Disfluid") (description "The manual for disfluid is provided as a texinfo -file, which is exported to HTML. Also include the complete +file, which is exported to HTML and PDF. Also include the complete corresponding source, as an AGPL requirement."))) (define-public (make-website disfluid) |