search

cpitclaudel / alectryon

A collection of tools for writing technical documents that mix Coq code and prose.
MIT License
227 stars 36 forks source link

Add preamble and copy assets #47

Closed start974 closed 3 years ago

start974 commented 3 years ago

I have added preamble to use package style "alectryon.sty" and "tango_subtle.sty". And I add a copy of their assets styles files associate to destination.

I cannot compile the PDF associate, for this latex. I mean, we need to remove docutils packages imported, but I can't found this options in documentation.

cpitclaudel commented 3 years ago

Great work, thanks! To modify the header, I think you want to remove or change things self.head_parts. This is the default definition, and in fact each string is the name of an attribute (self.head_prefix, self.requirements, etc.); so, alternatively, you could modify head_prefix etc. as needed.

    head_parts = ('head_prefix', 'requirements', 'latex_preamble',
                  'stylesheet', 'fallbacks', 'pdfsetup', 'titledata')
cpitclaudel commented 3 years ago

Rebased and merged, thanks!

cpitclaudel commented 3 years ago

Released in v1.2