-
Notifications
You must be signed in to change notification settings - Fork 12.8k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Allow setting --docdir #36360
Allow setting --docdir #36360
Conversation
Allow setting --docdir This will allow setting `--docdir` during configure, this is useful because not all linux distributions install documentation to `/usr/share/doc`. For example in Slackware documentation is installed to `/usr/doc/$PRGNAM-$VERSION` and `/usr/share/doc` is a symlink to `/usr/doc`. To use this `./configure --docdir=/usr/doc/$PRGNAM-$VERSION` can be used.
⌛ Testing commit 5e9149d with merge 8c0b78c... |
💔 Test failed - auto-win-msvc-64-cargotest |
I don't have any way to test windows so I can't really do much about this. |
@bors: retry Ah I think that's a spurious failure On Sat, Sep 10, 2016 at 6:15 PM, orbea [email protected] wrote:
|
Allow setting --docdir This will allow setting `--docdir` during configure, this is useful because not all linux distributions install documentation to `/usr/share/doc`. For example in Slackware documentation is installed to `/usr/doc/$PRGNAM-$VERSION` and `/usr/share/doc` is a symlink to `/usr/doc`. To use this `./configure --docdir=/usr/doc/$PRGNAM-$VERSION` can be used.
This caused a regression: #36451 (why didn't bors notice before merging?) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
You can't just copy the string from mandir.
valopt_nosave mandir "${CFG_PREFIX}/share/man" "install man pages in PATH"
+valopt_nosave docdir "${CFG_PREFIX}/share/doc/rust" "install man pages in PATH"
Oops, I'm not sure how I missed that either. Thanks for pointing it out, I hope this should fix it? |
This will allow setting
--docdir
during configure, this is useful because not all linux distributions install documentation to/usr/share/doc
. For example in Slackware documentation is installed to/usr/doc/$PRGNAM-$VERSION
and/usr/share/doc
is a symlink to/usr/doc
.To use this
./configure --docdir=/usr/doc/$PRGNAM-$VERSION
can be used.