diff options
-rw-r--r-- | Makefile | 55 |
1 files changed, 2 insertions, 53 deletions
@@ -1,63 +1,12 @@ .POSIX: -NAME = servers -LIST_NAME = public-inbox -LIST = ~euandreh/$(LIST_NAME)@lists.sr.ht -SEARCH = https://lists.sr.ht/~euandreh/$(LIST_NAME)?search=%5B$(NAME)%5D -TLD = euandre.org - -.SUFFIXES: -.SUFFIXES: .in - -.in: - sed \ - -e 's|@PROJECT_UC@|$(NAME)|g' \ - -e 's|@PROJECT@|$(NAME)|g' \ - -e 's|@MAILING_LIST@|$(LIST)|g' \ - -e 's|@LIST_SEARCH@|$(SEARCH)|g' \ - -e 's|@TLD@|$(TLD)|g' \ - < $< > $@ - if [ -x $< ]; then chmod +x $@; fi - - - -all: public +all: check: clean: - rm -rf \ - .sentinel/ public/ aux/workflow/preamble.md - -dev-check: check public - -HOST = toph -deploy: - scp \ - src/infrastructure/guix/channels.scm \ - src/infrastructure/guix/system.scm \ - $(HOST):/etc/guix/ - ssh $(HOST) r reconfigure $(OPTS) - - -.sentinel/mkdir-public: - mkdir -p public .sentinel - touch $@ - -public/favicon.svg: .sentinel/mkdir-public aux/workflow/favicon.svg - cp aux/workflow/favicon.svg $@ - -public/style.css: .sentinel/mkdir-public - td -S > $@ - -public/TODOs.html: .sentinel/mkdir-public aux/workflow/preamble.md TODOs.md - td -H | cat aux/workflow/preamble.md - | \ - sh aux/workflow/md2html.sh -N $(NAME) -T TODOs > $@ - -public/ci: - sh aux/ci/report.sh -o $@ -n $(NAME) -public: public/favicon.svg public/style.css public/TODOs.html public/ci +public: |