+\end_inset
+
+
+\end_layout
+
+\begin_layout Standard
+The next function
+\begin_inset Quotes eld
+\end_inset
+
+cleans
+\begin_inset Quotes erd
+\end_inset
+
+ superfluous information from gcc messages, namely the name of the noweb
+ file and the line number of the Error.
+\begin_inset Foot
+status collapsed
+
+\begin_layout Plain Layout
+More could be done.
+ For instance, some way of distinguishing between gcc Errors and Warnings
+ should be devised.
+\end_layout
+
+\end_inset
+
+
+\end_layout
+
+\begin_layout Standard
+\begin_inset Flex Chunk
+status open
+
+\begin_layout Plain Layout
+
+\begin_inset Argument 1
+status open
+
+\begin_layout Plain Layout
+Function bodies
+\end_layout
+
+\end_inset
+
+void
+\end_layout
+
+\begin_layout Plain Layout
+
+clean_gcc_messages ()
+\end_layout
+
+\begin_layout Plain Layout
+
+{
+\end_layout
+
+\begin_layout Plain Layout
+
+ int index;
+\end_layout
+
+\begin_layout Plain Layout
+
+ char search [30];
+\end_layout
+
+\begin_layout Plain Layout
+
+ char *tail, *head;
+\end_layout
+
+\begin_layout Plain Layout
+
+ int search_len = sprintf(search, ".nw:%d:", last_err_line);
+\end_layout
+
+\begin_layout Plain Layout
+
+
+\end_layout
+
+\begin_layout Plain Layout
+
+ for (index = 0; index < last_buf_line-1; index++) {
+\end_layout
+
+\begin_layout Plain Layout
+
+ tail = (char *)strstr (buffer[index], search);
+\end_layout
+
+\begin_layout Plain Layout
+
+ if ( tail == NULL) {
+\end_layout
+
+\begin_layout Plain Layout
+
+ tail = (char *) strstr (buffer[index], ".nw:");
+\end_layout
+
+\begin_layout Plain Layout
+
+ if (tail) {
+\end_layout
+
+\begin_layout Plain Layout
+
+ tail += 4;
+\end_layout
+
+\begin_layout Plain Layout
+
+ }
+\end_layout
+
+\begin_layout Plain Layout
+
+ } else {
+\end_layout
+
+\begin_layout Plain Layout
+
+ tail += search_len;
+\end_layout
+
+\begin_layout Plain Layout
+
+ }
+\end_layout
+
+\begin_layout Plain Layout
+
+ if (tail != NULL) {
+\end_layout
+
+\begin_layout Plain Layout
+
+ head = buffer[index];
+\end_layout
+
+\begin_layout Plain Layout
+
+ while (*(head++) = *(tail++));
+\end_layout
+
+\begin_layout Plain Layout
+
+ }
+\end_layout
+
+\begin_layout Plain Layout
+
+ }
+\end_layout
+
+\begin_layout Plain Layout