Re: persistence of /usr/doc/$pkg (Was: debhelper: /usr/doc problems again)
On Fri, 8 Oct 1999, Stefan Gybas wrote:
> Manoj Srivastava wrote:
>
> > if [ -d /usr/doc ]; then
> > # Well, we still need to handle this, at least for the time being
[...]
>
> All this will fail if at some time in the future /usr/doc is a symlink to
> /usr/share/doc.
Then replace this
if [ -d /usr/doc ]; then
with this
if [ -d /usr/doc -a ! -h /usr/doc ]; then
This means "if /usr/doc is a directory AND /usr/doc is NOT a symlink,
then...".
Remco
--
rd1936: 4:00pm up 16 days, 19:50, 10 users, load average: 4.38, 4.95, 4.76
Reply to: