clean destination directory before build · 4558654a48 - rivet - Mauri's git remote

clean destination directory before build

remotes/1736165749443785560/tmp_typo

Alessandro Mauri

parent e0367536ea

commit 4558654a48

1 changed files with 1 additions and 0 deletions

								
									1

rivet.sh

								Unescape
								Escape
							
									View File
								
					@ -107,6 +107,7 @@ if ! [ -d "$srcdir" ]; then
				
						usage
					
						usage
				
					fi
					
					fi
				
					rm -rf "$destdir"
				
					mkdir -p "$destdir"
					
					mkdir -p "$destdir"
				
					cp -r "$srcdir"/* "$destdir"
					
					cp -r "$srcdir"/* "$destdir"
				
					rm -f "$destdir"/_header.html "$destdir"/_footer.html
					
					rm -f "$destdir"/_header.html "$destdir"/_footer.html