Adding a command line option which could inform about the github
repository. If this option is used it's added in each HTML file built