From 0421b9058bee408c88a38d28a8c408d330716218 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Mattias=20Andr=C3=A9e?= Date: Fri, 5 Apr 2013 09:57:57 +0200 Subject: [PATCH] makefile update MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Mattias Andrée --- Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 1cbb6eea..b007f4f8 100644 --- a/Makefile +++ b/Makefile @@ -3,8 +3,9 @@ SHELL=bash manual-update: (branch=$$(git branch | grep \\\* | sed -e s/\*\ //g) ;\ git checkout master ;\ + (rm -r "./ponysay" || true) ;\ makeinfo --html "./manuals/ponysay.texinfo" ;\ - git add "./ponysay" ;\ + git add -f "./ponysay" ;\ git stash ;\ git checkout $$branch ;\ )