Opened 7 years ago

Closed 7 years ago

#3618 closed task (fixed)

Documentation for GMP and MPC

Reported by: Chris Staub Owned by: lfs-book@…
Priority: normal Milestone: 7.6
Component: Book Version: SVN
Severity: normal Keywords:
Cc:

Description

For both GMP and MPC, HTML documentation can be generated and installed by the Makefile. There are already instructions for GMP to manually create a directory in /usr/share/doc and copy a few files there, but this can be automated.

Attachments (1)

docs.patch (2.7 KB ) - added by Chris Staub 7 years ago.

Download all attachments as: .zip

Change History (5)

by Chris Staub, 7 years ago

Attachment: docs.patch added

comment:1 by chris@…, 7 years ago

Come to think of it, what should be the standard method for installing docs? There are, I believe, 2 packages that have separate instructions for both generating and installing documentation. For MPFR, the commands to create and install docs are both in the same command block, after make install. For Sed, there is a command to generate docs after make, and another to install them after make install. Any thoughts on which approach is better? I prefer the way it's done with Sed (and, obviously, for the patch I made for this ticket).

comment:2 by bdubbs@…, 7 years ago

I really don't have a preference and I don't think it really matters. I suppose we should do

make
make html
...
make install
make install-html   (or make -C doc install-html)

as it shortens up the page by a line or two.

comment:3 by chris@…, 7 years ago

Yeah, that looks like a good idea.

comment:4 by chris@…, 7 years ago

Resolution: fixed
Status: newclosed

Fixed in 10590.

Note: See TracTickets for help on using tickets.