summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen McGinnes <ben@adversary.org>2018-03-25 22:25:52 +1100
committerBen McGinnes <ben@adversary.org>2018-03-25 22:25:52 +1100
commit5b32efbaf37920b2e99d4bb87cb383b2809b1688 (patch)
tree44fdf24be1cce83f230a80c3061963799d604dc3
parent40a9dea5d56506400b67b0c11f6e55a1629dc6fe (diff)
downloadgpgme-5b32efbaf37920b2e99d4bb87cb383b2809b1688.tar.gz
doc: python bindings howto
* Testing the addition of a HTML header set in org-mode in order to had RSS update links for files. * This should work with any [X]HTML export from current versions of Org-Mode, but if it also works on website generated pages then it'll tick off one of the wishlist itmes.
-rw-r--r--lang/python/docs/GPGMEpythonHOWTOen.org1
1 files changed, 1 insertions, 0 deletions
diff --git a/lang/python/docs/GPGMEpythonHOWTOen.org b/lang/python/docs/GPGMEpythonHOWTOen.org
index 08f9ef75..77ddba22 100644
--- a/lang/python/docs/GPGMEpythonHOWTOen.org
+++ b/lang/python/docs/GPGMEpythonHOWTOen.org
@@ -6,6 +6,7 @@
#+LATEX_HEADER: \usepackage[margin=1in]{geometry}
#+LATEX_HEADER: \setmainfont[Ligatures={Common}]{Times New Roman}
#+LATEX_HEADER: \author{Ben McGinnes <ben@gnupg.org>}
+#+HTML_HEAD_EXTRA: <link type="application/rss+xml" href="https://git.gnupg.org/cgi-bin/gitweb.cgi?p=gpgme.git;a=rss;f=lang/python/docs/GPGMEpythonHOWTOen.org"/>
* Introduction