From 437cb0abba480708f552bf9c0540d259ab05a2ba Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Erik=20S=C3=B8e=20S=C3=B8rensen?= <eriksoe+gh@gmail.com>
Date: Sat, 24 Dec 2011 01:02:36 +0100
Subject: [PATCH] Update Makefile.

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

diff --git a/Makefile b/Makefile
index 3deb8c1..e20788b 100644
--- a/Makefile
+++ b/Makefile
@@ -1,7 +1,12 @@
-all: OOP.html
+all: Introduction.html DataStructures.html OOP.html OOP-overview.html Test.html
 
 clean:
 	rm *.html || true
 
 %.html: %.asciidoc
 	asciidoc $<
+
+
+# Requires Linux's 'inotify-tools':
+watch-inotify:
+	inotifywait -m . | egrep --line-buffered 'CLOSE.*\.asciidoc$$' | tee /dev/stderr | while read x ; do echo "Updating..." ; ${MAKE} -s >/dev/null; echo -n "Updated " ; date ; done