search

gregorio-project / gregorio

The Gregorio Project
http://gregorio-project.github.io
Other
164 stars 43 forks source link

May it be better this tittle? #1529

Closed DocOc98 closed 3 years ago

rpspringuel commented 3 years ago

No. This is not better. the doc_ prefix (and others like it) are necessary to keep the build and packaging scripts happy so that only the necessary files end up in the distributions.