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 /doc | |
parent | f04ced9332a8fff92fb5fb8cc452dc7858ceb3e5 (diff) |
Publish the PDF version of the manual
Diffstat (limited to 'doc')
-rw-r--r-- | doc/disfluid.texi | 5 |
1 files changed, 5 insertions, 0 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:: |