max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

doc: Lean syntax highlighting

Browse source
This commit is contained in:
Sebastian Ullrich 2020-10-30 14:46:05 +01:00
parent 42b6b44fa2
commit 6d29111fbc
2 changed files with 1104 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1102
doc/highlight.js Normal file
View file

File diff suppressed because one or more lines are too long

2
doc/update-highlight.js.sh Executable file
View file

@ -0,0 +1,2 @@
#!/usr/bin/env bash
cat <(curl -L https://cdn.jsdelivr.net/gh/highlightjs/cdn-release@10.3.2/build/highlight.min.js) <(curl -L https://unpkg.com/highlightjs-lean/dist/lean.min.js) > highlight.js