changeset 12:b7f376e957ac

Fix two bugs, one of them apparently in bash.
author Rob Landley <rob@landley.net>
date Thu, 02 Aug 2007 21:29:26 -0400
parents af7d7a237911
children da6d82bf07a7
files make/make.sh
diffstat 1 files changed, 7 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/make/make.sh	Thu Aug 02 19:44:18 2007 -0400
+++ b/make/make.sh	Thu Aug 02 21:29:26 2007 -0400
@@ -24,12 +24,17 @@
 make -j 2 htmldocs &
 cd Documentation/DocBook
 for i in *.xml
-  do xmlto xhtml-nochunks $i -o xhtml-nochunks 
+do
+  echo "Converting $i"
+  xmlto xhtml-nochunks $i -o xhtml-nochunks 
 done
 # Wait for background task to finish before retrieving result
 while [ $(jobs | wc -l) -ne 0 ]
 do
   sleep 1
+  # Without this next line, bash never notices a change in the number of jobs.
+  # Bug noticed in Ubuntu 7.04
+  jobs > /dev/null
 done
 mv xhtml-nochunks/*.html .
 rmdir xhtml-nochunks
@@ -37,3 +42,4 @@
 echo Install htmldocs
 rm -rf ~/www/kdocs/htmldocs
 cp -a ~/linux/temp/Documentation/DocBook ~/www/kdocs/htmldocs
+echo "Done with kdocs"