Commit ca2bd4688d18d5b3ada99122e96f3c33ce719653

Bruno Haible 2016-12-04T18:03:07

Remove obsolete documentation.