You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The document should have a consistent markup, line length, etc.
This can be achieved by using a tool like Pandoc to convert the document into GitHub-compatible Markdown. This would also enforce a consistent line length, and it would additionally be possible to rebuild the table of contents (in case anything is missing from there, since the recent changes to the text).
This issue is not calling for any changes to the actual text (apart from possibly fixing outstanding spelling mistakes).
The text was updated successfully, but these errors were encountered:
The document should have a consistent markup, line length, etc.
This can be achieved by using a tool like Pandoc to convert the document into GitHub-compatible Markdown. This would also enforce a consistent line length, and it would additionally be possible to rebuild the table of contents (in case anything is missing from there, since the recent changes to the text).
This issue is not calling for any changes to the actual text (apart from possibly fixing outstanding spelling mistakes).
The text was updated successfully, but these errors were encountered: