Commit 3bf152e06b7fccd21d3cb957d8fffb563526b3b6

Bruno Haible 2009-04-02T00:31:54

Follow texinfo style conventions.