[MacPorts] #58338: lots-o-ports: decide on common variant name to build documentation: +docs or +doc

[MacPorts]

#58338: lots-o-ports: decide on common variant name to build documentation: +docs
or +doc
----------------------+-----------------------
  Reporter:  blair    |      Owner:  michaelld
      Type:  request  |     Status:  assigned
  Priority:  Normal   |  Milestone:
 Component:  ports    |    Version:
Resolution:           |   Keywords:
      Port:  cmake    |
----------------------+-----------------------

Comment (by michaelld):

 As quick search from the top-level ports directory results as such:
 {{{
 $ find . -name Portfile -print0 | xargs -0 grep "variant doc" | wc -l
 128

 $ find . -name Portfile -print0 | xargs -0 grep "variant doc" | grep docs
 | wc -l
 75
 }}}

 So there are approximately 128 ports that use a variant "doc" or "docs" to
 build documentation, and those approximately 75 use "+docs" and thus
 approximately 53 use "+doc". As there are more ports that use "+docs" than
 "+doc", one could argue that those using "+doc" should move to using
 "+docs" instead of the other way around. I don't really care which variant
 is used, but I do care that my port is not singled out for any or no
 obvious reason.

 [N.B.: One can argue whether this search returns all ports with the
 desired variants, or whether I really needed to use "-print0" and "xargs
 -0". I say that this method works & I remember it & it is nice and
 generic, so moving to an "-exec ..." while it could also work is beyond
 the point here; also, that these are meant to give approximation of the
 number of ports, and if those approximation are "close" in integer value,
 then maybe it's worth delving further into this rabbit hole, but I don't
 think they are really even close.]

-- 
Ticket URL: <https://trac.macports.org/ticket/58338#comment:2>
MacPorts <https://www.macports.org/>
Ports system for macOS