changeset 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
files ChangeLog gnulib-tool
diffstat 2 files changed, 15 insertions(+), 7 deletions(-) [+]
line wrap: on
line diff
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2006-07-29  Bruno Haible  <bruno@clisp.org>
+
+	* gnulib-tool (func_import): Don't create the $docbase directory if
+	there is no file to store there.
+
 2006-07-29  Bruno Haible  <bruno@clisp.org>
 
 	* gnulib-tool (func_usage): Revert most of the 2006-07-15 change.
--- a/gnulib-tool
+++ b/gnulib-tool
@@ -22,7 +22,7 @@
 
 progname=$0
 package=gnulib
-cvsdatestamp='$Date: 2006-07-29 13:04:18 $'
+cvsdatestamp='$Date: 2006-07-29 13:10:38 $'
 last_checkin_date=`echo "$cvsdatestamp" | sed -e 's,^\$[D]ate: ,,'`
 version=`echo "$last_checkin_date" | sed -e 's/ .*$//' -e 's,/,-,g'`
 
@@ -1133,12 +1133,15 @@
       echo "Create directory $destdir/$m4base"
     fi
   fi
-  if test ! -d "$destdir/$docbase"; then
-    if $doit; then
-      echo "Creating directory $destdir/$docbase"
-      mkdir "$destdir/$docbase" || func_fatal_error "failed"
-    else
-      echo "Create directory $destdir/$docbase"
+  docfiles=`echo "$files" | sed -n -e 's,^doc/,,p'`
+  if test -n "$docfiles"; then
+    if test ! -d "$destdir/$docbase"; then
+      if $doit; then
+        echo "Creating directory $destdir/$docbase"
+        mkdir "$destdir/$docbase" || func_fatal_error "failed"
+      else
+        echo "Create directory $destdir/$docbase"
+      fi
     fi
   fi
   if test -n "$inctests"; then