search

darioteixeira / lambdoc

Lambdoc is a library providing support for semantically complex documents in Ocsigen web applications
GNU General Public License v2.0
17 stars 1 forks source link

default css not installed #16

Open edwintorok opened 9 years ago

edwintorok commented 9 years ago

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.

darioteixeira commented 9 years ago

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.