Commit graph

10 commits

Author SHA1 Message Date
Finii
b6c7639200 [ci] Regenerate CSS files 2024-04-12 14:41:15 +00:00
Finii
3452b7b3e7 [ci] Regenerate CSS files 2024-04-04 08:02:08 +00:00
Finii
7b41c66a1e [ci] Regenerate CSS files 2023-11-26 17:57:57 +00:00
Finii
a74f913206 [ci] Regenerate CSS files 2023-11-21 10:31:12 +00:00
Finii
e19f06ddc8 [ci] Regenerate CSS files 2023-06-04 20:45:34 +00:00
Fini Jastrow
711c20d2ed Regenerate CSS files
$ ./generate-css.sh

Generated CSS, json, and Cheat Sheet HTML
../../css/nerd-fonts-generated.css
../../css/nerd-fonts-generated.min.css                 [needs to also go into gh-pages:_includes/css/]
../../css/nerd-fonts-generated-removed.min.css         [needs to only go into gh-pages:_includes/css/]
../../temp/2017-01-04-icon-cheat-sheet.md              [needs to only go into gh-pages:_posts/]
../../glyphnames.json

Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>
2023-05-13 12:54:05 +02:00
Fini Jastrow
e07f6ed68a Regenerate CSS files
Result of generate-css.sh run.

Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>
2023-05-04 12:42:14 +02:00
Fini Jastrow
04dd7d343d Update CSS and glyphnames
Just by running
  $ ./generate-css.sh

This also create a new cheat sheet in temp/, which is not included here
of course. It also needs to go into the gh-pages branch.

Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>
2023-04-28 18:30:06 +02:00
Fini Jastrow
dcaff0f4c6 Regenerate CSS and glyphnames
[why]
Some names have been fixed.
The json data file has been changed.

Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>
2023-03-12 21:17:08 +01:00
Fini Jastrow
368ba3444b generate-css: Create a json database with css names
[why]
Somebody might want to have a file where all symbols we add are listed.
At the moment there are only the i_*.sh scripts and the CSS files. Both
are rather unwieldy.

[how]
Just create a json file with all symbol names, like the CSS file.

Fixes: #448

Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>
2023-03-02 12:44:21 +01:00