From de1bd77849639bad58e3d0718aa4fc6c71a50df0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mattias=20Andr=C3=A9e?= <maandree@operamail.com>
Date: Sun, 28 Oct 2012 00:21:54 +0200
Subject: [PATCH] css for manual

---
 Makefile | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/Makefile b/Makefile
index c2c6d948..cbc1c6ef 100644
--- a/Makefile
+++ b/Makefile
@@ -11,4 +11,11 @@ manual-update:
 	git rm "./pages/ponysay/*"
 	git stash pop
 	git mv "./ponysay" "./pages"
+	(for file in $$(echo "./pages/ponysay/*"); do							\
+	   mv $$file $${file}~										\
+	   sed -e 's/^<\/head>$$/<link rel="stylesheet" type="text\/css" href="info.css">\\n<\/head>/'	\
+	          < $${file}~ > $$file;									\
+	   rm $${file}~;										\
+	 done												\
+	)