Commit 8886fffb5277b9ca0d9ecfeb2c328e9d356fbe60

Bruno Haible 2016-12-04T02:57:07

Update documentation.