342797 – sci-mathematics/coq[doc] should depend on dev-texlive/texlive-latexextra

Bug 342797 - sci-mathematics/coq[doc] should depend on dev-texlive/texlive-latexextra

Summary: sci-mathematics/coq[doc] should depend on dev-texlive/texlive-latexextra

Status:	RESOLVED FIXED

Alias:	None

Product:	Gentoo Linux
Classification:	Unclassified
Component:	New packages (show other bugs)
Hardware:	All Linux

Importance:	High normal (vote)
Assignee:	Gentoo Team for the ML programming language family

URL:
Whiteboard:
Keywords:

Depends on:
Blocks:

Reported:	2010-10-26 17:29 UTC by Bartek 'Paczesiowa' Cwiklowski
Modified:	2010-11-11 20:28 UTC (History)
CC List:	1 user (show)

See Also:
Package list:
Runtime testing required:	---

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.

Description Bartek 'Paczesiowa' Cwiklowski 2010-10-26 17:29:10 UTC

sci-mathematics/coq[doc] should depend on dev-texlive/texlive-latexextra, otherwise generating docs from .tex files fails with:

! LaTeX Error: File `comment.sty' not found. (file Reference-Manual.tex)

Reproducible: Always

Steps to Reproduce:

Comment 1 Alexis Ballier gentoo-dev

2010-11-11 20:28:55 UTC

fixed, thanks