comparison gnulib-tool @ 7070:a733c0af6d39

Avoid creating an empty doc directory.
author Bruno Haible <bruno@clisp.org>
date Sat, 29 Jul 2006 13:10:38 +0000
parents 0fb5ef99e00f
children 71c5caf223fc
comparison
equal deleted inserted replaced
7069:0fb5ef99e00f 7070:a733c0af6d39
20 # This program is meant for authors or maintainers which want to import 20 # This program is meant for authors or maintainers which want to import
21 # modules from gnulib into their packages. 21 # modules from gnulib into their packages.
22 22
23 progname=$0 23 progname=$0
24 package=gnulib 24 package=gnulib
25 cvsdatestamp='$Date: 2006-07-29 13:04:18 $' 25 cvsdatestamp='$Date: 2006-07-29 13:10:38 $'
26 last_checkin_date=`echo "$cvsdatestamp" | sed -e 's,^\$[D]ate: ,,'` 26 last_checkin_date=`echo "$cvsdatestamp" | sed -e 's,^\$[D]ate: ,,'`
27 version=`echo "$last_checkin_date" | sed -e 's/ .*$//' -e 's,/,-,g'` 27 version=`echo "$last_checkin_date" | sed -e 's/ .*$//' -e 's,/,-,g'`
28 28
29 # You can set AUTOCONFPATH to empty if autoconf 2.57 is already in your PATH. 29 # You can set AUTOCONFPATH to empty if autoconf 2.57 is already in your PATH.
30 AUTOCONFPATH= 30 AUTOCONFPATH=
1131 mkdir "$destdir/$m4base" || func_fatal_error "failed" 1131 mkdir "$destdir/$m4base" || func_fatal_error "failed"
1132 else 1132 else
1133 echo "Create directory $destdir/$m4base" 1133 echo "Create directory $destdir/$m4base"
1134 fi 1134 fi
1135 fi 1135 fi
1136 if test ! -d "$destdir/$docbase"; then 1136 docfiles=`echo "$files" | sed -n -e 's,^doc/,,p'`
1137 if $doit; then 1137 if test -n "$docfiles"; then
1138 echo "Creating directory $destdir/$docbase" 1138 if test ! -d "$destdir/$docbase"; then
1139 mkdir "$destdir/$docbase" || func_fatal_error "failed" 1139 if $doit; then
1140 else 1140 echo "Creating directory $destdir/$docbase"
1141 echo "Create directory $destdir/$docbase" 1141 mkdir "$destdir/$docbase" || func_fatal_error "failed"
1142 else
1143 echo "Create directory $destdir/$docbase"
1144 fi
1142 fi 1145 fi
1143 fi 1146 fi
1144 if test -n "$inctests"; then 1147 if test -n "$inctests"; then
1145 if test ! -d "$destdir/$testsbase"; then 1148 if test ! -d "$destdir/$testsbase"; then
1146 if $doit; then 1149 if $doit; then