pdf: headers, table of contents
authorJan Szejko <janek37@gmail.com>
Tue, 31 Jul 2018 14:53:56 +0000 (16:53 +0200)
committerJan Szejko <janek37@gmail.com>
Tue, 31 Jul 2018 14:53:56 +0000 (16:53 +0200)
commit034fc8488c66a6364ef617e70a5b661591226102
tree96403efdbf8e982187ccd16c86a5596b51732133
parentd2cdfb1fd7968f92b9e98cf8f19c7ccf7835d10f
pdf: headers, table of contents
librarian/pdf.py
librarian/pdf/wl.cls
librarian/pdf/wl2tex.xslt