On Wednesday 05 August 2009 22:17:03 Alvaro Herrera wrote:
> I just noticed that "make install" inside the doc/ directory looks for
> man.tar.gz in $(srcdir), which is obviously not going be found because
> it's put in the builddir.
>
> Am I missing something here, or is it simply that nobody tries
On Wednesday 05 August 2009 21:02:27 Tom Lane wrote:
> * The section-7 man pages are back to being created with all-upper-case
> file names. I thought we'd agreed not to do that.
The agreement was not to change it two minutes before the release.
In practice it shouldn't matter. None of the more
On Wednesday 05 August 2009 22:34:45 Alvaro Herrera wrote:
> The reason the files they don't show up is that they are being
> removed by a "rm" call in the makefile. And they are in section 1
> because they are missing a tag.
The old tool dropped man pages without manvolnum, the new tool generat
