Build error : unknown target 'doc' about ptex

[davvid]

I suspect that perhaps you don't have doxygen installed, so the doc component disabled itself.

Let me know if that's what you hit. IIRC Pop! is a Debian derivative, so you can try doing sudo apt install doxygen graphviz to get the doc dependencies installed.

It looks like the readme mentions this already, but maybe you didn't catch it? Please reopen if that's not it.

The output from make after running rm -r ./build might have some clues as well. Hope that helps!

[johhnry]

Hi,

Thanks it worked after installing doxygen and deleting the build directory.