Re: shall `make uninstall' remove directories?

[Ralf Corsepius]

Akim Demaille wrote:
> 
> >>>>> "Peter" == Peter Eisentraut <[EMAIL PROTECTED]> writes:

> [.. mkinstalldirs ..]
> But I have no problem either with a separate shell script.
> 
> By the way, why do you say it is useful in its own right?
> 

I don't know whom you are addressing to, but IMHO,
* mkinstalldirs actually is independent of autoconf/automake.
* mkinstalldirs can be used as a portable drop-in replacement for
mkdir.

FYI: I am using mkinstalldirs all over the place in Makefile.ams
(Actually $(MKINSTALLDIRS) ) to avoid portablity issues with mkdir
(such as mkdir -p) - It simply avoids having the need to check for
mkdir's features (which I had been doing before) at a neglectable
cost on speed in comparison to using mkdir directly.

I simply do not want to loose that feature.

Ralf.

-- 
Ralf Corsepius 
Forschungsinstitut fuer Anwendungsorientierte Wissensverarbeitung
(FAW)
Helmholtzstr. 16, 89081 Ulm, Germany     Tel: +49/731/501-8690
mailto:[EMAIL PROTECTED]           FAX: +49/731/501-999  
http://www.faw.uni-ulm.de