lambdoc icon indicating copy to clipboard operation
lambdoc copied to clipboard

Published 20 hours ago • verified publisher icon darioteixeira

default css not installed

Open edwintorok opened this issue 10 years ago • 1 comments

The lambtex manual refers to a default CSS shipped with lambdoc, however this is only available in the source package. Please install the CSS when you do opam install lambdoc.

edwintorok avatar Oct 12 '14 14:10 edwintorok

Yeah, the current build system is a hack, because I couldn't get OASIS to play nice with the internal module packs used. However, my intention is to abandon the module packs approach and use 4.02 module aliases, which should allow the use of OASIS and a proper build system that installs everything.

darioteixeira avatar Oct 13 '14 09:10 darioteixeira