Cleanup in build scripts, hint for migration from svn

en/08-git-and-other-scms/01-chapter8.markdown

@@ -405,7 +405,11 @@ Next, move the rest of the references under `refs/remotes` to be local branches:
 	$ cp -Rf .git/refs/remotes/* .git/refs/heads/
 	$ rm -Rf .git/refs/remotes
 
-Now all the old branches are real Git branches and all the old tags are real Git tags. The last thing to do is add your new Git server as a remote and push to it. Because you want all your branches and tags to go up, you can run this:
+Now all the old branches are real Git branches and all the old tags are real Git tags. The last thing to do is add your new Git server as a remote and push to it. This is an example for usage with a gitosis repository:
+
+	$ git remote add origin git@my.gitosis-server.com:myrepository.git
+
+Because you want all your branches and tags to go up, you can now run this:
 
 	$ git push origin --all
 

latex/makepdf

@@ -171,7 +171,7 @@ figures do
 
 		unless abort
 			print "\tMoving output to progit.#{lang}.pdf... "
-			mv("main.pdf", "#$root/progit.#{lang}.pdf")
+			mv("#{dir}/main.pdf", "#$root/progit.#{lang}.pdf")
 			puts "done"
 		end
 	end

makepdfs

@@ -4,33 +4,33 @@ baseDir=`dirname $0`
 outputDir=${baseDir}/pdf
 
 exclude=('figures' 'figures-dia' 'figures-source' 'latex' 'makepdfs' 'pdf' 'README')
-dirContent=`ls $baseDir`
+dirContent=`ls ${baseDir}`
 argString=""
 
-for dir in $dirContent; do
-	if [ -n $dir ]; then
+for dir in ${dirContent}; do
+	if [ -n ${dir} ]; then
 
 		isLang=1
 		for i in ${exclude[@]}; do
-			if [ $i == $dir ]; then
+			if [ ${i} = ${dir} ]; then
 				isLang=0
 			fi
 		done
 
-		if [ $isLang -eq 1 ]; then
+		if [ ${isLang} -eq 1 ]; then
 			argString="${argString} ${dir}"
 		fi
 	fi
 done
 
 echo "Will generate pdf for the following languages:"
-echo "	"$argString
+echo "	"${argString}
 
-mkdir -p $outputDir
+mkdir -p ${outputDir}
 
 echo 
 echo "The generation process will start now."
-time ${baseDir}/latex/makepdf $argString
+time ${baseDir}/latex/makepdf ${argString}
 
 echo
 echo