Opened 10 years ago
Closed 10 years ago
#3618 closed task (fixed)
Documentation for GMP and MPC
| Reported by: | Chris Staub | Owned by: | |
|---|---|---|---|
| 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)
Change History (5)
by , 10 years ago
| Attachment: | docs.patch added |
|---|
comment:1 by , 10 years ago
comment:2 by , 10 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.
Note:
See TracTickets
for help on using tickets.
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).