Fix the generator script for documentation

Figure out how to output verbatim strings. Or change this to a python script.

In partticular the current script tries to interpret bash variables like `$HOME` which I want to write out verbatim. Another major problem is that the markdown code block syntax ``` ``` is not being echoed correctly .
