The packaging for the upcoming 7.2.0 release has been updated to make grass-core depend on grass-doc.
The packaging for the upcoming 7.2.0 release has been updated to make grass-core depend on grass-doc.