#42121: coq: building with the variant +doc fails ------------------------------------+-------------------------------- Reporter: hippallium-macports@… | Owner: macports-tickets@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.2.1 Resolution: | Keywords: Port: coq | ------------------------------------+-------------------------------- Comment (by hippallium-macports@…): Solved! The bug is due to a missing dependence to the package texlive-latex-extra that provides the needed comment.sty. -- Ticket URL: <https://trac.macports.org/ticket/42121#comment:3> MacPorts <http://www.macports.org/> Ports system for OS X