diff options
author | Julien Lepiller <hub@lepiller.eu> | 2021-12-01 22:58:44 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-12-01 23:58:44 +0100 |
commit | da18f5c914035e317af402370d353537a7d1ed40 (patch) | |
tree | 8b46b2ab479ee02bc9d2b9b66a6eb8be2edb3f34 /texinfo.html.markdown | |
parent | 425fc9d48c7d6595d06bbc34f7b26d3cf963832a (diff) |
[texinfo/en] Fix syntax highlighting (#4281)
Remove syntax highlighting since it's not supported by pygments
Diffstat (limited to 'texinfo.html.markdown')
-rw-r--r-- | texinfo.html.markdown | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/texinfo.html.markdown b/texinfo.html.markdown index c192e958..1b3ed9e2 100644 --- a/texinfo.html.markdown +++ b/texinfo.html.markdown @@ -16,7 +16,7 @@ what the generator should do. A simple example of a simple manual: -```texinfo +``` \input texinfo @setfilename simple-document.info @documentencoding UTF-8 |