From d2a7d0850dcc401519057b25bdae6e82a31eb568 Mon Sep 17 00:00:00 2001
From: Mattias Andrée <maandree@operamail.com>
Date: Sun, 28 Oct 2012 00:04:44 +0200
Subject: Revert "make manual-update + css for manual"

Whoops, wrong branch!

This reverts commit f259066b7fa47185d3d48a288621ec6daec3fea9.
---
 Makefile | 14 --------------
 1 file changed, 14 deletions(-)
 delete mode 100644 Makefile

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
deleted file mode 100644
index e2250b1..0000000
--- a/Makefile
+++ /dev/null
@@ -1,14 +0,0 @@
-SHELL=bash
-
-BRANCH="$(git branch | grep \\\* | sed -e s/\*\ //g)"
-
-
-manual-update:
-	git checkout master
-	makeinfo --html "./manual/ponysay.texinfo"
-	git add "./manual/ponysay"
-	git stash
-	git checkout $(BRANCH)
-	git rm "./manual/ponysay/*"
-	git stash pop
-
-- 
cgit