Add a dummy documentation file to unbreak 'make install'. We need to find how