aboutsummaryrefslogtreecommitdiff
path: root/Makefile (unfollow)
Commit message (Expand)AuthorFilesLines
2023-03-10Makefile: cleanup existing targetsEuAndreh1-53/+2
2022-12-08aux/: Embed files in repositoryEuAndreh1-8/+11
2022-12-08Makefile: Build public/ out of data from the repositoryEuAndreh1-7/+28
2022-12-06Makefile: Add $(HOST) variableEuAndreh1-2/+3
2022-11-28Makefile: Add "public" as adependency to "dev-check"EuAndreh1-1/+1
2022-11-27Build TODOs.html on "public" targetEuAndreh1-2/+19
2022-11-27Makefile: Revert from toph.wg to tophEuAndreh1-2/+2
2022-11-27Makefile: Use toph.wg for hostnameEuAndreh1-2/+2
2022-11-27Makefile: Also copy channels.scm in "deploy" targetEuAndreh1-1/+4
2022-11-25src/infrastructure/guix/system.scm: Add working version of toph OSEuAndreh1-10/+6
2022-03-07Add barely working Guix configuration for tophEuAndreh1-3/+9
2021-03-07Makefile: Add dev-check as .PHONY targetEuAndreh1-1/+1
2021-03-01Update files under aux/EuAndreh1-0/+2
2021-03-01Makefile: stop ignoring terraform failureEuAndreh1-1/+1
2021-02-23TODOs.md: Add #task-0a38c085-9d4a-41ef-9f66-dc85d9ad984bEuAndreh1-1/+1
2021-02-23Update aux/workflow/EuAndreh1-8/+4
2021-02-19Add aux/ci/report.shEuAndreh1-0/+1
2021-01-27mv build-aux/ aux/EuAndreh1-5/+5
2021-01-25mv build-aux/assert-todos.sh build-aux/workflow/, updating to the latest versionEuAndreh1-1/+1
2021-01-22Makefile: Call README.sh and remove sh flagsEuAndreh1-7/+8
2021-01-17Makefile: Add -eux flag to sh callsEuAndreh1-4/+4
2021-01-15Makefile: Use sh f.sh over ./f.shEuAndreh1-3/+4
2021-01-15Makefile: Add .POSIX targetEuAndreh1-0/+1
2021-01-14Use rst for TODOsEuAndreh1-2/+2
2021-01-10Readd assert-todos.shEuAndreh1-1/+1
2021-01-10Move scripts/ to build-aux/EuAndreh1-4/+4
2020-12-03Makefile: Add .PHONY targetsEuAndreh1-2/+3
2020-12-02Fix build of HTMLEuAndreh1-1/+2
2020-12-02Build and publish TODOs.org fileEuAndreh1-1/+5
2020-11-30Makefile: Remove leading ./ from pathsEuAndreh1-2/+2
2020-11-29Move tests.sh to MakefileEuAndreh1-0/+8
generated by cgit v1.3 (git 2.53.0) at 2026-10-19 22:48:34 +0000