21ba4e3570Internal markup reworking to fix the extraneous whitespace problem in the "tidy generated" web site pages. Essentially replace all ocurrences of <para><screen> with <screen> (and of course the matching closing tags).
22 anni fa
Alex Gronenwoud
51c7e26fb0Minor brush-ups, and splitting the basic-net section.
22 anni fa
Alex Gronenwoud
89fcc34541Putting text before the 'make check's, and smoothing the other lines.