summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorJulien Lepiller <hub@lepiller.eu>2021-12-01 22:58:44 +0000
committerGitHub <noreply@github.com>2021-12-01 23:58:44 +0100
commitda18f5c914035e317af402370d353537a7d1ed40 (patch)
tree8b46b2ab479ee02bc9d2b9b66a6eb8be2edb3f34
parent425fc9d48c7d6595d06bbc34f7b26d3cf963832a (diff)
[texinfo/en] Fix syntax highlighting (#4281)
Remove syntax highlighting since it's not supported by pygments
-rw-r--r--texinfo.html.markdown2
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