add another way to specify an alternate name for the documentation set,
so that this is harder to forget to do for development of new styles
2 files changed