Fair enough.
How about treating the docs like we treat the fonts in build.sh? That
is, if the doc files don't exist or the user asks for them to be rebuild
(via a "--force=doc" option) then they get built, otherwise that step
gets skipped. Along similar lines we might consider a "--skip" options
which allows the user to by pass the building of the docs (or the fonts)
when they do not exist.
Though, as I think about it, even with those above changes, a "--no-doc"
option for install-gtex.sh which would skip the installation of the docs
would still probably make sense. After all, I just posted that I want a
"--no-fonts" option which would skip the installation of the fonts.
--
✝✝✝✝✝✝✝✝✝✝✝✝✝✝✝✝✝✝✝✝✝✝✝✝✝
Br. Samuel, OSB
St. Anselm’s Abbey
Washington, DC
(R. Padraic Springuel)
PAX ☧ ΧΡΙΣΤΟΣ
_______________________________________________
Gregorio-devel mailing list
[email protected]
https://mail.gna.org/listinfo/gregorio-devel
