Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 258926 - dev-libs/boost should optionally install tools documentation
Summary: dev-libs/boost should optionally install tools documentation
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: New packages (show other bugs)
Hardware: All Linux
: High enhancement (vote)
Assignee: Tiziano Müller (RETIRED)
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2009-02-14 01:52 UTC by Markus Peloquin
Modified: 2009-05-13 19:26 UTC (History)
1 user (show)

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


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Markus Peloquin 2009-02-14 01:52:50 UTC
I noticed that the tools documentation was stripped from the installed boost docs (in /usr/share/doc/boost-VERSION).  I use Boost.Build, and I'd like to be able to have its documentation installed with boost.

Reproducible: Always

Steps to Reproduce:
Comment 1 Tiziano Müller (RETIRED) gentoo-dev 2009-05-13 19:26:00 UTC
Ok, the documentation gets installed when installign boost with USE=doc. I made sure that also the tools documentation gets installed.
Thanks.