Commit graph

924 commits

Author SHA1 Message Date
David Himmelstrup
eca9226126 Add shared docker image for discord-bot and playground. 2020-10-28 16:49:36 +08:00
David Himmelstrup
4e38c3249f Bump version to 1.1.2.1 v1.1.2.1 2020-10-27 19:00:23 +08:00
Xie Ruifeng
5da40eda1b fix LaTeX: headers and postscripts got swapped 2020-10-27 18:59:29 +08:00
David Himmelstrup
04c3fd6baf Drop chalkduster from fonts example. 2020-10-27 17:10:11 +08:00
Krantz-XRF
9944af167e add latexCfgChunks v1.1.2.0 2020-10-12 10:11:20 +08:00
Krantz-XRF
e266f5454c fix Reanimate.LaTeX.xelatex 2020-10-12 10:11:20 +08:00
David Himmelstrup
dec92f2299 Fix documentation for external data sets. 2020-10-12 08:58:02 +08:00
David Himmelstrup
53793fcf1b Bump version to 1.1.1.0 and update changelog. v1.1.1.0 2020-10-10 21:43:42 +08:00
David Himmelstrup
e7bce27d12 Switch back to stylish-haskell and enumerate imports. 2020-10-10 18:17:01 +08:00
David Himmelstrup
96cd95f865 Add logos from svgporn.com 2020-10-10 17:25:15 +08:00
David Himmelstrup
e9a2bd3bd0 Depend on reanimate-svg >= 0.13 2020-10-10 15:19:55 +08:00
David Himmelstrup
7d16bc79b0 Rename gh-pages dist folder. 2020-10-09 19:01:44 +08:00
David Himmelstrup
b1cc939dfa Disable HPC badge generation. 2020-10-09 17:26:10 +08:00
David Himmelstrup
1fa503721c Fix path to golden files. 2020-10-09 17:24:56 +08:00
Michal Kukiela
f14192f637 Move .golden files to a subdirectory. (#78) 2020-10-09 16:53:39 +08:00
David Himmelstrup
edd776beac
Add a few more built-in font configurations. (#179) 2020-10-08 15:26:19 +08:00
David Himmelstrup
54652dd51f
SimpleIcons.org external data set. (#178)
* Add 'simpleIcons' external icon set.

* Add complete support for Simple Icons.

* Add documentation gif.
2020-10-08 15:26:02 +08:00
David Himmelstrup
5ec3ef8af4 Add chalkduster to changelog. 2020-10-07 13:48:09 +08:00
David Himmelstrup
340ccb3c19 Bump version and update changelog. v1.1.0.0 2020-10-07 10:14:54 +08:00
David Himmelstrup
110ff7578c Bump reanimate-svg version. 2020-10-07 09:52:11 +08:00
lemmih
56f941b080 Add font snippet. 2020-10-05 18:47:07 +08:00
David Himmelstrup
ac5f40e5e7
Add monthly changelog entries to docs. (#176) 2020-10-05 15:35:19 +08:00
David Himmelstrup
554eda594f
How-To: Use system fonts (#175)
* Import Reanimate.External in the playground.

* Add draft for How-To article about system fonts.

* Finish system font how-to.
2020-10-05 11:43:15 +08:00
David Himmelstrup
88c4c2fba2 Update changelog. 2020-10-04 20:22:20 +08:00
David Himmelstrup
1c116ddc39 Switch chalkduster font to XeLaTex (from LuaTex) 2020-10-04 20:20:33 +08:00
David Himmelstrup
3a1c6e4166
How-To article about the LaTeX font catalogue (#174) 2020-10-04 00:17:15 +08:00
lemmih
5cc47478a6 Use https when possible. 2020-10-01 14:40:05 +08:00
David Himmelstrup
009a9e2188
Support multiple latex configurations. (#173)
* Support multiple latex configurations.

* Don't look for pdf2svg/dvisvgm unless they are actually required.
2020-10-01 14:26:45 +08:00
David Himmelstrup
85c768cc2e
Enable nix. (#172)
* Enable nix.

* Disable nix CI.
2020-09-26 11:12:05 +08:00
David Himmelstrup
5c8cf840a1 CI: Use websocat to check websocket connection every hour. 2020-09-24 11:42:07 +08:00
David Himmelstrup
2e7e0eb3f6 Fix width of tut GIF for mobile viewers. 2020-09-24 09:37:51 +08:00
David Himmelstrup
fb6d81ad31 Haddock always generates 404 links. Sigh. Disable 404 checking for api docs. 2020-09-23 12:53:33 +08:00
David Himmelstrup
2b0d2d74f2 Remove unsupported hljs languages. 2020-09-23 12:49:54 +08:00
David Himmelstrup
0ea03ecb23
CI: Check for 404s (#170) 2020-09-23 12:40:39 +08:00
David Himmelstrup
08cffe6099 Playground: Don't open unused ws connections. 2020-09-23 12:19:44 +08:00
David Himmelstrup
b03d875066 Fix playground docker file. 2020-09-23 12:19:32 +08:00
David Himmelstrup
2d28fbf4b5 Fix nginx configuration. 2020-09-22 19:21:25 +08:00
David Himmelstrup
7b914cabe2 Make the playground threaded. 2020-09-22 19:21:08 +08:00
David Himmelstrup
7b7fa1a97d nginx: Increase connections to 10k. 2020-09-22 18:30:25 +08:00
David Himmelstrup
dc6b4fcf09 CI: wscat is already available? 2020-09-22 13:55:37 +08:00
David Himmelstrup
76c7a99edd CI: Missing sudo. 2020-09-22 13:53:01 +08:00
David Himmelstrup
e5be814929 CI: Fix 404 checking. 2020-09-22 13:50:56 +08:00
David Himmelstrup
84f3044c62 CI: Query wscat version. 2020-09-22 13:42:21 +08:00
David Himmelstrup
2b5d3eb4fe Update because of missing libssl library. 2020-09-22 13:39:19 +08:00
David Himmelstrup
f64618143c CI: Don't use 'apt. 2020-09-22 13:38:19 +08:00
David Himmelstrup
986b67c7cb CI wibble. 2020-09-22 13:29:36 +08:00
David Himmelstrup
d40aed29f6 CI checks for 404 and websocket availability. 2020-09-22 13:28:35 +08:00
David Himmelstrup
41cb795219 docs: don't put the index in the navbar. 2020-09-21 20:18:47 +08:00
David Himmelstrup
42cba1ccc5 CI: Playground checks are only necessary for PRs. 2020-09-21 11:31:17 +08:00
Jan Hrcek
0aca2333e2
Fix some hlint warnings, and more consistency in examples (#167)
* Remove redundant brackets

* Various hlint fixes

* Remove unused language pragrams and other fixes

* Use addStatic more consistently in examples

* Rename remaining usages of sceneAnimation to scene
2020-09-20 22:51:22 +08:00