On Monday 10 August 2009 23:03:12 Alvaro Herrera wrote:
> Hmm, I notice that this rule to install manpages is pretty slow:
>
> for file in /pgsql/source/00head/doc/src/sgml/man1/*.1
> /pgsql/source/00head/doc/src/sgml/man3/*.3
> /pgsql/source/00head/doc/src/sgml/man7/*.7; do /bin/sh
> /pgsql/source/00head/config/install-sh -c -m 644 $file
> /pgsql/install/00head/share/man/`echo $file | sed
> 's,^/pgsql/source/00head/doc/src/sgml/,,'` || exit; done
>
> Can we use "basename" here instead of the `echo | sed` hack?
>
> Hmm, oh, I see it's stripping everything except the last directory level.
> I guess I'd go for doing a simple cp inside each man directory.
Yeah, that was really freakishly complicated. Fixed now.
In response to
Responses
pgsql-hackers by date
| Next: | From: Kevin Grittner | Date: 2009-08-11 21:54:39 |
| Subject: Re: machine-readable explain output v4 |
| Previous: | From: Robert Haas | Date: 2009-08-11 21:50:37 |
| Subject: Re: Hot standby and synchronous replication status |
pgsql-committers by date
| Next: | From: Peter Eisentraut | Date: 2009-08-11 21:53:06 |
| Subject: pgsql: Simplify and speed up man page installation |
| Previous: | From: Alvaro Herrera | Date: 2009-08-11 20:16:04 |
| Subject: pgsql: Refactor some $(JADE.tex.call)s |