man-page install (was Re: pg_dump new -n flag)

Started by Tom Laneover 27 years ago2 messages
#1Tom Lane
tgl@sss.pgh.pa.us

"Thomas G. Lockhart" <lockhart@alumni.caltech.edu> writes:

btw, I'm thinking of changing the src/ and doc/ Makefiles to have the
man pages installed from the doc directory, not the src directory. So,
one would get the man pages installed by doing
% cd doc
% make install
rather than having them installed every time you install a new
executable, as currently happens.

That sounds good...

I won't move the location of the man
sources, just change the makefiles.

... but as long as the man pages live under src/man, I think they ought
to be installed by the src makefile. Cross-subtree installs are confusing.
I'd vote for going all the way and moving the src/man subdirectory into
the doc tree.

regards, tom lane

#2Thomas G. Lockhart
lockhart@alumni.caltech.edu
In reply to: Tom Lane (#1)
Re: man-page install (was Re: pg_dump new -n flag)

I won't move the location of the man
sources, just change the makefiles.

... but as long as the man pages live under src/man, I think they
ought to be installed by the src makefile. Cross-subtree installs are
confusing.
I'd vote for going all the way and moving the src/man subdirectory
into the doc tree.

I agree, but would like to keep it this way for this release for three
reasons:

1) the src/ makefile is actually doing the install. So from src/ you can
do a

make install-man

but it is no longer part of "src/make install". The doc/ makefile simply
does the above make.

2) moving the files will (unfortunately) eliminate the cvs log
information (unless I do bad stuff with the RCS tree behind cvs, and I'm
not touching that :)

3) the next release should have man pages derived from sgml so it won't
be an issue.

- Tom