1 7b4d8efb 2022-02-04 op # sed -n 's/^ //p' $? > $@
3 7b4d8efb 2022-02-04 op .PHONY: all install publish
7 7b4d8efb 2022-02-04 op @echo " - install: install/replace the files in the system"
8 7b4d8efb 2022-02-04 op @echo " - publish: generate gemini and www version of the files"
9 7b4d8efb 2022-02-04 op @echo " - serve-gem: serve the gem directory"
10 7b4d8efb 2022-02-04 op @echo " - serve-www: serve the www directory"
11 7b4d8efb 2022-02-04 op @echo " - upload: publish the files on the geminispace and the web"
12 7b4d8efb 2022-02-04 op @echo " - clean: undo publish"
14 7b4d8efb 2022-02-04 op include Makefile.local
16 7b4d8efb 2022-02-04 op install: ${DOTFILES}
18 7b4d8efb 2022-02-04 op www: style.css
20 7b4d8efb 2022-02-04 op cp style.css www
25 7b4d8efb 2022-02-04 op publish: gem ${GEMFILES} www ${WWWFILES}
27 7b4d8efb 2022-02-04 op serve-gem: publish
28 7b4d8efb 2022-02-04 op gmid -p 1966 gem
30 7b4d8efb 2022-02-04 op serve-www: publish
31 7b4d8efb 2022-02-04 op python3 -m http.server --directory www 8888
34 7b4d8efb 2022-02-04 op rsync --delete -a gem/ op:gemini/dots.omarpolo.com
35 7b4d8efb 2022-02-04 op rsync --delete -a www/ op:sites/dots.omarpolo.com
38 7b4d8efb 2022-02-04 op rm -rf gem www