From ed99858c5263861d31ac5af8379296a42475faf2 Mon Sep 17 00:00:00 2001
From: Philipp Falk <philipp.falk@math.uni-freiburg.de>
Date: Wed, 7 Sep 2016 11:15:36 +0200
Subject: [PATCH] bibtex.py: add id tag to category headings

---
 bibtex.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bibtex.py b/bibtex.py
index 606989f..1e81b13 100755
--- a/bibtex.py
+++ b/bibtex.py
@@ -52,7 +52,7 @@ if __name__ == '__main__':
             (html, bib) = get_publications(tmpdir, cat, basename)
             if html is None:
                 continue
-            outhtml.append('<h2>{}</h2>'.format(name))
+            outhtml.append('<h2 id="{}">{}</h2>'.format(cat, name))
             outhtml.append(html)
             outbibl.append(bib)
         os.chdir(cwd)
-- 
2.11.0