Project

General

Profile

Bug #372

install htmldoc in htmldir

Added by Christoph Junghans almost 10 years ago. Updated over 9 years ago.

Status:
Closed
Priority:
Normal
Category:
documentation
Target version:
Affected version - extra info:
Affected version:
Difficulty:
uncategorized
Close

Description

configure has --docdir and --htmldir option, please make share/html/Makefile use that.

patch see url

docdir.patch (1.02 KB) docdir.patch patch to make use of htmldir Christoph Junghans, 02/05/2010 10:19 AM

History

#1 Updated by David van der Spoel over 9 years ago

Sorry I only saw this now and the patch has disappeared. Can you please upload it to bugzilla?

#2 Updated by Christoph Junghans over 9 years ago

Created an attachment (id=421)
patch to make use of htmldir

now configure --htmldir=DIR will do the job.

Please add it to release-4.0-patches as well.

#3 Updated by David van der Spoel over 9 years ago

Fixed, and it works. Thanks for the patch.

#4 Updated by Christoph Junghans over 9 years ago

please cherry-pick it to release-4-0-patches.

#5 Updated by David van der Spoel over 9 years ago

How do I do that in practice? Sorry not so git-savvy yet..

#6 Updated by Christoph Junghans over 9 years ago

No problem git has about a 140 commands ;-)

-Checkout stable branch
git checkout --track -b release-4-0-patches origin/release-4-0-patches
-Cherry pick the patch
git cherry-pick bfc69dd105506077202f111b0f03d32b793d4f1b

#7 Updated by David van der Spoel over 9 years ago

OK, with some conflicts etc. I hope it is now in the release branch as well.
Thanks for the help.

Also available in: Atom PDF