Commit 4a064184ffbc76f93ff5226c44bdaba6bf0bd028

Bruno Haible 2016-10-01T16:22:10

Remove autogenerated doc files from version control.