You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
... to simplify .gitignore rules, and clean scripts resp/. make clean targets.
I think this only affects the title page and main page scaffolds. But we have to be a bit careful for projects that generate a title page scaffold but not a main page scaffold: they are relying on the filename title.xml in order to include it. Perhaps we can get away with changing the default name to _title.xml, except in this particular case where we generate the title page but not the main page, when we leave it at title.xml. A user who wants it to be _title.xml in this case, too, can simply specify an explicit filename.
Oh, and for the main page, I would suggest the new default to be to _main.xml and not _PackageName.xml
The text was updated successfully, but these errors were encountered:
... to simplify
.gitignore
rules, andclean
scripts resp/.make clean
targets.I think this only affects the title page and main page scaffolds. But we have to be a bit careful for projects that generate a title page scaffold but not a main page scaffold: they are relying on the filename
title.xml
in order to include it. Perhaps we can get away with changing the default name to_title.xml
, except in this particular case where we generate the title page but not the main page, when we leave it attitle.xml
. A user who wants it to be_title.xml
in this case, too, can simply specify an explicit filename.Oh, and for the main page, I would suggest the new default to be to
_main.xml
and not_PackageName.xml
The text was updated successfully, but these errors were encountered: