k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[[K-user] ] pdf/latex generation

From: "sergio" <syovine AT dc.uba.ar>
To: k-user AT lists.cs.illinois.edu
Subject: [[K-user] ] pdf/latex generation
Date: Thu, 15 Sep 2016 13:56:49 -0500

Hi,

I've tried generating latex/pdf documentation with no luck.

I've tried several alternatives: kcompile --pdf (as explained in the
tutorial), kcompile --backend pdf (as explained in the help displayed with --
help) and even kdoc (4.0), but nothing worked.

The first two ways seem to be deprecated, and kdoc runs but generates nothing.

I'd appreciate your help. Thanks!

Sergio

[[K-user] ] pdf/latex generation, sergio, 09/15/2016
- <Possible follow-up(s)>
- Re: [[K-user] ] pdf/latex generation, Cosmin Radoi, 09/16/2016