Should this be `-DGMSH_DOC="#{share}/gmsh"`?