1. 2019-04-14 Re: Query: variant +docs or +doc? macports- Michael Dickens 2. 2019-04-14 Re: Query: variant +docs or +doc? macports- Michael Dickens 3. 2019-04-14 Re: Query: variant +docs or +doc? macports- Richard L. Hamilto 4. 2019-04-14 Query: variant +docs or +doc? macports- Michael Dickens 5. 2019-04-14 Query: variant +docs or +doc? macports- Michael Dickens