Make "docs" target work out of source.