diff -r feede61efa96 -r 866172a16472 book/src/flex_config9.txt
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/book/src/flex_config9.txt	Wed Mar 23 21:10:10 2011 +0100
@@ -0,0 +1,2 @@
+\n.*	 { strcpy(line_buffer, yytext+1); 
+           line_no++; yyless(1); }