k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[[K-user] ] Generating PDF

From: Derek Sorensen <derek AT pyrofex.net>
To: k-user AT lists.cs.illinois.edu
Subject: [[K-user] ] Generating PDF
Date: Thu, 13 Sep 2018 13:15:20 -0600
Authentication-results: illinois.edu; spf=pass smtp.mailfrom=derek AT pyrofex.net; dkim=pass header.d=pyrofex.net header.s=google; dmarc=none

Hi all,

I’m having trouble generating a PDF from a .k file. In particular, the
instructions to generate the pdf from the README.md file in the documentation
folder do not run (K needs a main module).
Simply running

kompile EG.k --pdf

does not work either. Any suggestions?

Best,
Derek

Attachment: signature.asc
Description: Message signed with OpenPGP

[[K-user] ] Generating PDF, Derek Sorensen, 09/13/2018