Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Build site and pdf by default #3417

Closed

Conversation

emillon
Copy link
Contributor

@emillon emillon commented Dec 3, 2020

Closes #3416

@emillon emillon force-pushed the build-documents-by-default branch 2 times, most recently from c519420 to 6a99908 Compare December 3, 2020 16:57
@emillon
Copy link
Contributor Author

emillon commented Dec 3, 2020

Building the html (the part that fails on the linked PR) requires pandoc, so we'll have to mark it as a depext. That will be easier to do once #3412 is ready.

@emillon
Copy link
Contributor Author

emillon commented Dec 4, 2020

In terms of dependencies, this requires pandoc and texlive-full.

For pandoc, depending conf-pandoc works (the version is different from the one installed in Dockerfile, 2.9-1 from github vs 2.2.1-3 from debian, though I haven't compared the output).

For texlive it's a bit more involved: there's conf-texlive but it does not install all the required packages (and the build fails with a missing xcolor package). Adding texlive-full in depexts work. I suppose we could add a conf-texlive-full package which attempts to build a document that uses xcolor.

@emillon emillon marked this pull request as ready for review December 23, 2020 11:04
@emillon emillon force-pushed the build-documents-by-default branch from c696d7a to 6db3042 Compare July 5, 2021 13:06
@emillon
Copy link
Contributor Author

emillon commented Jul 5, 2021

Rebased and now green.

@avsm
Copy link
Member

avsm commented Jul 8, 2021

I've got a bunch of PDF changes queued up for the new format we need to give the publisher, so I'll close this one for now.

@avsm avsm closed this Jul 8, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

HTML and latex generation are not checked by dune build @install
2 participants