annotate lispref/mkinstalldirs @ 42429:3bdd11464124

(makeinfo-compilation-sentinel): Display the output buffer in a more intelligent way.
author Richard M. Stallman <rms@gnu.org>
date Sun, 30 Dec 2001 19:33:13 +0000
parents 9362643130ae
children f0eb34e60705 746c40973d25
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
30517
9362643130ae *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
1 #! /bin/sh
9362643130ae *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
2 # mkinstalldirs --- make directory hierarchy
9362643130ae *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
3 # Author: Noah Friedman <friedman@prep.ai.mit.edu>
9362643130ae *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
4 # Created: 1993-05-16
9362643130ae *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
5 # Public domain
9362643130ae *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
6
9362643130ae *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
7 # $Id: mkinstalldirs,v 1.10 1996/05/03 07:37:52 friedman Exp $
9362643130ae *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
8
9362643130ae *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
9 errstatus=0
9362643130ae *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
10
9362643130ae *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
11 for file
9362643130ae *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
12 do
9362643130ae *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
13 set fnord `echo ":$file" | sed -ne 's/^:\//#/;s/^://;s/\// /g;s/^#/\//;p'`
9362643130ae *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
14 shift
9362643130ae *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
15
9362643130ae *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
16 pathcomp=
9362643130ae *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
17 for d
9362643130ae *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
18 do
9362643130ae *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
19 pathcomp="$pathcomp$d"
9362643130ae *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
20 case "$pathcomp" in
9362643130ae *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
21 -* ) pathcomp=./$pathcomp ;;
9362643130ae *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
22 esac
9362643130ae *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
23
9362643130ae *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
24 if test ! -d "$pathcomp"; then
9362643130ae *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
25 echo "mkdir $pathcomp" 1>&2
9362643130ae *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
26
9362643130ae *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
27 mkdir "$pathcomp" || lasterr=$?
9362643130ae *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
28
9362643130ae *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
29 if test ! -d "$pathcomp"; then
9362643130ae *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
30 errstatus=$lasterr
9362643130ae *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
31 fi
9362643130ae *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
32 fi
9362643130ae *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
33
9362643130ae *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
34 pathcomp="$pathcomp/"
9362643130ae *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
35 done
9362643130ae *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
36 done
9362643130ae *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
37
9362643130ae *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
38 exit $errstatus
9362643130ae *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
39
9362643130ae *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
40 # mkinstalldirs ends here