Opened 12 years ago
Closed 12 years ago
#3242 closed defect (invalid)
GMP creates two doc directories
| Reported by: | Owned by: | ||
|---|---|---|---|
| Priority: | normal | Milestone: | 7.3 |
| Component: | Book | Version: | SVN |
| Severity: | normal | Keywords: | |
| Cc: |
Description
The GMP package creates /usr/share/doc/gmp and populates it during 'make install', and then after that /usr/share/doc/gmp-{version_string} is created manually. I suggest using a docdir= parameter passed to configure so that everything is put into the versioned directory.
Change History (2)
comment:1 by , 12 years ago
comment:2 by , 12 years ago
| Resolution: | → invalid |
|---|---|
| Status: | new → closed |
My mistake. I used two commands that are not in the book which created the directory.
make html and make install-html. I'll close the ticket.
Note:
See TracTickets
for help on using tickets.
Just checking my most recent jhalfs build (SVN-20121122), I do not have a /usr/share/doc/gmp directory -- only /usr/share/doc gmp-5.0.5.