The HTML files and GFM (Git FLavoured Markdown) files are generated from the source files under src directory. So the modifications need to be made in the source files, not HTML files. The procedure is as follows.
Clone the repository to your local PC (maybe you've done it).
Fix source files, for example src/sec4.src.md.
Run rake at the top directory to generate GFM files.
Run rake html to generate HTML files.
Push your local changes to your (forked) repository.
Thank you for the pull request.
The HTML files and GFM (Git FLavoured Markdown) files are generated from the source files under
src
directory. So the modifications need to be made in the source files, not HTML files. The procedure is as follows.src/sec4.src.md
.rake
at the top directory to generate GFM files.rake html
to generate HTML files.I'd be happy if you'd follow the way above.