+IMPORTANT: if you have downloaded a
+
+ *.pre*
+
+version, then this is version is *not* meant for producing nice output
+(but to keep your patchsets up to date)
+
+====================
Please refer to the directory Documentation/, Documentation/README.*
To generate the pretty-printed docs, do this:
hanwen@stack.urc.tue.nl
-Have fun!
\ No newline at end of file
+Have fun!
+
+======================
+