PointCloudLibrary/pcl — pull request #729 by taketwo (2014-06-07 19:25:28+00:00)
Title: Add cmake option to choose HTML file suffix for Sphinx

This pull request adds an option called `SPHINX_HTML_FILE_SUFFIX` that allows to set the extension of HTML files generated by Sphinx, as discussed in #584. The default value is 'html', i.e. same as the current behavior.