Closed ArcaneNibble closed 7 years ago
It always prints pdflatex found, documentation will be built when given -DBUILD_DOCS=off
pdflatex found, documentation will be built
It always prints
pdflatex found, documentation will be built
when given -DBUILD_DOCS=off