Extended Banner by Gavin Lambert

Extended Banner provides all of the tools necessary to rewrite the banner that is printed when a game begins.

It was originally written by Stephen Granade; but in version 2, Gavin Lambert updated it to compile in 6M62 and made it easier to entirely replace the copyright line.

By default it does nothing but define several new text substitutions: the extended story headline, the story serial number, and the I7 version number. For example, the following rule would print a version of the banner that's the same as the default one:

Rule for printing the banner text:
     say "[bold type][story title][roman type][line break][extended story headline][if story author is not blank] by [story author][end if][line break]Release [release number] / Serial number [story serial number] / Inform 7 build [I7 version number][line break]" instead.

The "if story author is not blank" text substitution uses a new phrase that determines whether or not a piece of text is blank.

To add a copyright line to the banner, you don't have to write a rule like the one above. Instead, you can define the story copyright string with the year or years for which you're claming copyright:

The story copyright string is "2005-6".

You can also change the rights you are claiming by changing the story rights string (this is only printed if you specify the story copyright string):

The story rights statement is "Released under the Creative Commons Attribution-NonCommercial-ShareAlike 2.5 License"

By default the story rights statement is "All rights reserved".

If you have something more complicated to say for your copyright statement, you can replace or adjust the "printing the story copyright line" activity:

Rule for printing the story copyright line:
     say "Based on a true story originally written by Suspicious Badger in 1823." instead.

Before printing the story copyright line:
     say "An anarchic kerfuffle."

After printing the story copyright line:
     say "You can discuss this story in the forum at https://my.awesome.website/"

Note that if you replace the default story copyright line rule then it won't print the story copyright string or story rights statement, but you can still use these in your own rule.