To publish the generated content, use git add
and git commit
on the various Markdown, JSON, and HTML files we have created, then push them to their origin. If the origin is Github Pages, then Github will automatically serve them for you. Alternatively, you can copy the files from the "target"
directory wherever you like, or do with them whatever you wish.