haketilo-hydrilla/Makefile, branch koszko An HTTPs proxy to facilitate replacing sites' js with user-supplied scripts https://git.koszko.org/haketilo-hydrilla/atom?h=koszko 2023-09-05T16:10:17Z Make it easy to override Make variables with the guix command to use 2023-09-05T16:10:17Z Wojtek Kosior koszko@koszko.org 2023-09-05T16:10:17Z urn:sha1:2793350b2d5a9ed22b92ac44bb30d2e85b16704a Make sure Makefile's 'dist' target can also be run with newer Guix 2023-08-29T14:06:49Z Wojtek Kosior koszko@koszko.org 2023-08-29T14:00:36Z urn:sha1:de2ece0ec785b7187e24fa43d1c00465a290443d make it possible to build&test&use just hydrilla without haketilo 2023-08-25T10:19:19Z Wojtek Kosior koszko@koszko.org 2023-08-24T18:10:34Z urn:sha1:d16a726e958aa78d5d9f3515eb18b589e27bdac1 mark `clean-doc` target as PHONY 2022-11-24T09:41:48Z Wojtek Kosior koszko@koszko.org 2022-11-24T09:41:48Z urn:sha1:ea0bfa9ea01f7badeeb30557e7254c3447fc4de3 always remove html docs directory before rebuilding it 2022-11-24T07:43:01Z Wojtek Kosior koszko@koszko.org 2022-11-24T07:43:01Z urn:sha1:f5da1392cfb8bc9646882a3722c8942ffec8b4b8 name the `hydrilla.scm` containing directory `guix-module-dir` 2022-11-23T18:30:26Z Wojtek Kosior koszko@koszko.org 2022-11-23T18:30:26Z urn:sha1:9e4b24ec1160a8a998e6853da8fe72cbcc5b3d09 [builder][server][proxy] add `reuse-lint` Makefile rule 2022-10-29T10:41:09Z Wojtek Kosior koszko@koszko.org 2022-10-29T10:41:09Z urn:sha1:f21055353cbc5b2a7e8c1873633f0e34857b71d6 [proxy] make it possible to export embedded documentation as standalone .html files and include these in the binary release tarball 2022-10-28T18:15:30Z Wojtek Kosior koszko@koszko.org 2022-10-28T18:15:30Z urn:sha1:43ed7392cdfc734a4304284906b9d0d503381841 [builder][server][proxy] for make targets that spawn a shell, modify bash prompt to indicate the enviroment is active 2022-10-19T11:38:38Z Wojtek Kosior koszko@koszko.org 2022-10-19T10:00:35Z urn:sha1:94e8af18b60eacfd397b288a7996fc114b853530 [builder][server][proxy] facilitate running mypy linter through Makefile 2022-10-18T18:13:45Z Wojtek Kosior koszko@koszko.org 2022-10-18T10:28:03Z urn:sha1:76f4b6769d0acaeffbd8e8a003fcbb3e2fbea107