Documentation

[Frank Klemm]

The GNU quotation style is wrong, which uses apostrophe and accent grave for
quotation:


	`hi!'

On modern terminals this look like:


      ###                              ##
        ##      ##         ##     ##   ##
         ##     ##         ##     ##   ##
           #    ##                ##   ##
                ## ###    ###     ##
                ###  ##    ##     ##
                ##   ##    ##     ##
                ##   ##    ##
                ##   ##    ##     ##
                ##   ##   ####    ##


which is wrong and also looks very ugly.
The right way to quote is:

	'hi!'

which looks like

           ##                          ##
           ##   ##         ##     ##   ##
           ##   ##         ##     ##   ##
           ##   ##                ##   ##
                ## ###    ###     ##
                ###  ##    ##     ##
                ##   ##    ##     ##
                ##   ##    ##
                ##   ##    ##     ##
                ##   ##   ####    ##


For a good explanation of the problem see also:

    http://www.cl.cam.ac.uk/~mgk25/ucs/quotes.html

There is also a script to solve the problem.

BTW: The whole webpage http://www.cl.cam.ac.uk/~mgk25/ is interesting to read.

-- 
Frank Klemm