Opened 11 years ago
Closed 11 years ago
#3518 closed task (fixed)
Readline docdir
Reported by: | Chris Staub | Owned by: | |
---|---|---|---|
Priority: | normal | Milestone: | 7.6 |
Component: | Book | Version: | SVN |
Severity: | normal | Keywords: | |
Cc: |
Description
There are instructions on the Readline installation page to create /usr/share/doc/readline-&version; and copy some documentation there. However, a plain "make install" on Readline creates /usr/share/doc/readline and copies a few files there by default. Therefore, there should be a --docdir switch added to configure to eliminate the extra directory - this also means of course that the instruction to create that directory manually can be removed.
The instructions could also be further simplified by replacing "make install" with "make htmldir=/usr/share/doc/readline-&version; install", which would make it install HTML versions of the documentation into that dir, though this would not include the ps,pdf, and dvi versions so those would still need to be manually copied, if desired.
Fixed at revision 10508.