diff options
Diffstat (limited to 'doc/disfluid.texi')
-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:: |