Documenter.jl icon indicating copy to clipboard operation
Documenter.jl copied to clipboard

Adds an options to use `listings` for code highlighting in LaTeX

Open BambOoxX opened this issue 2 years ago • 5 comments

Fixes #2309

BambOoxX avatar Nov 16 '23 20:11 BambOoxX

@mortenpi I really did not have time to push this further so far... What can I do to revive this ?

BambOoxX avatar Dec 01 '24 15:12 BambOoxX

@BambOoxX to revive this, the first step would be to resolve the merge conflicts that accumulated over time. Then CI has a chance to run and we can see if tests pass.

fingolfin avatar Oct 31 '25 14:10 fingolfin

OK, I overhauled this PR: first squashed everything into a single commit based on the merge-base commit with master. Then remove most of the settings=... bits (they just cause merge conflicts); and merged master. It could be squashed once again into a single commit if desired. I also removed several gratuitous changes (e.g. we have to check for latexmk not pdflatex because we actually call latexmk)

fingolfin avatar Oct 31 '25 14:10 fingolfin

It seems the generated reference file contains commit SHA's of the HEAD commit or so?!

┌ Error: Generated files did not agree with reference, diff follows.
│   a = "/home/runner/work/Documenter.jl/Documenter.jl/test/examples/builds/latex_listings_texonly/DocumenterLaTeX.tex"
│   b = "/home/runner/work/Documenter.jl/Documenter.jl/test/examples/references/latex_simple_listings.tex"
└ @ Main ~/work/Documenter.jl/Documenter.jl/test/examples/tests.jl:64
1894c1894
< \href{[https://github.com/JuliaDocs/Documenter.jl/blob/cced9e21e7c698180e719bfe4d1063a8bbe76371/src/makedocs.jl#L322}{\texttt{source}](https://github.com/JuliaDocs/Documenter.jl/blob/cced9e21e7c698180e719bfe4d1063a8bbe76371/src/makedocs.jl#L322{\texttt{source}})}
---
> \href{[https://github.com/JuliaDocs/Documenter.jl/blob/eefca50709ea92ad7d4ff7fdd58d2b22dae8d5c9/src/makedocs.jl#L322}{\texttt{source}](https://github.com/JuliaDocs/Documenter.jl/blob/eefca50709ea92ad7d4ff7fdd58d2b22dae8d5c9/src/makedocs.jl#L322{\texttt{source}})}
1924c1924
< \href{[https://github.com/JuliaDocs/Documenter.jl/blob/cced9e21e7c698180e719bfe4d1063a8bbe76371/src/makedocs.jl#L346}{\texttt{source}](https://github.com/JuliaDocs/Documenter.jl/blob/cced9e21e7c698180e719bfe4d1063a8bbe76371/src/makedocs.jl#L346{\texttt{source}})}
---
> \href{[https://github.com/JuliaDocs/Documenter.jl/blob/eefca50709ea92ad7d4ff7fdd58d2b22dae8d5c9/src/makedocs.jl#L346}{\texttt{source}](https://github.com/JuliaDocs/Documenter.jl/blob/eefca50709ea92ad7d4ff7fdd58d2b22dae8d5c9/src/makedocs.jl#L346{\texttt{source}})}

@mortenpi any idea?

fingolfin avatar Nov 07 '25 21:11 fingolfin

It seems the generated reference file contains commit SHA's of the HEAD commit or so?!

These look like source links? They would either point to a branch or the current commit. IIRC, we have an option for that.

mortenpi avatar Nov 14 '25 07:11 mortenpi