Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!

Bug 223317

Summary: dev-tex/pgf-2.00 USE="doc" installs TeX sources instead of PDF file
Product: Gentoo Linux Reporter: Sascha Lucas <sascha_lucas>
Component: Current packagesAssignee: TeX project <tex>
Status: RESOLVED FIXED    
Severity: enhancement    
Priority: High    
Version: unspecified   
Hardware: All   
OS: Linux   
Whiteboard:
Package list:
Runtime testing required: ---

Description Sascha Lucas 2008-05-23 09:13:54 UTC
the current ebuild of dev-tex/pgf-2.00 does not install the shiped PDF-manual. therefore it installes the documentation tex-sources all bzip2-compressed.

wouldn't this be nicer?

@@ src_install() {

if use doc ; then
        insinto /usr/share/doc/${PF}
+       doins pgfmanual.pdf
        doins -r images macros text-en version-for-dvipdfm version-for-dvips \
                version-for-pdftex version-for-tex4ht version-for-vtex || die \
                "Failed to install documentation"
-       prepalldocs
fi
Comment 1 Alexis Ballier gentoo-dev 2008-05-30 12:06:49 UTC
applied, thanks a lot !