Update Makefile.

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