10 commits

Author	SHA1	Message	Date
Matej Focko	622ac2463b	ci: rework and document makefile ... Signed-off-by: Matej Focko <xfocko@fi.muni.cz>	2023-07-16 17:25:03 +02:00
Matej Focko	d1ae26cb21	chore: don't open browser when running locally ... Signed-off-by: Matej Focko <me@mfocko.xyz>	2023-01-01 22:42:16 +01:00
Matej Focko	c1a49e116c	ci: move to blog.mfocko.xyz ... Signed-off-by: Matej Focko <mfocko@redhat.com>	2022-12-18 15:42:02 +01:00
Matej Focko	34f0c74b36	chore: switch to different domain on poincare ... Signed-off-by: Matej Focko <mfocko@redhat.com>	2022-12-11 21:29:12 +01:00
Matej Focko	117f865ee8	ci: automate deployment ... Signed-off-by: Matej Focko <mfocko@redhat.com>	2022-11-27 00:20:16 +01:00
Matej Focko	9f9dc39a31	chore: do not keep SVGs in the repository ... • Do not keep the SVG files in the repository, generate them just for the builds • Also generate ZIP files with sources for downloading Signed-off-by: Matej Focko <mfocko@redhat.com>	2022-11-24 17:25:30 +01:00
Matej Focko	7efd5e294b	chore: use Iosevka as a default font ... • Use Iosevka as a default font (with few reasonable fallbacks) • Introduce a „steam machine“ for regenerating graphviz files · Use same monospace fonts for graphviz too Signed-off-by: Matej Focko <mfocko@redhat.com>	2022-11-18 11:57:56 +01:00
Matej Focko	8b744fdfed	chore: add target for deploying at once ... Signed-off-by: Matej Focko <mfocko@redhat.com>	2022-11-05 23:14:59 +01:00
Matej Focko	20ab8606a4	fix(deploy): fix URL for aisa ... Signed-off-by: Matej Focko <mfocko@redhat.com>	2022-11-05 15:27:39 +01:00
Matej Focko	7427475022	chore: transfer all KBs to single one ... Signed-off-by: Matej Focko <mfocko@redhat.com>	2022-11-05 15:25:15 +01:00