1 b4c6cd97 2021-10-04 op .PHONY: all serve-www serve-gemini upload
3 ae6870fa 2021-10-04 op all: gmid.1.html gmid.1.txt
5 ae6870fa 2021-10-04 op gmid.1.html: ../gmid.1
6 ae6870fa 2021-10-04 op ./mdoc2html.sh $? $@
8 ae6870fa 2021-10-04 op gmid.1.txt: ../gmid.1
9 ae6870fa 2021-10-04 op MANWIDTH=72 man -Tutf8 -l $? | col -b > $@
12 12866f19 2021-10-04 op python3 -m http.server 8888
15 d65fa58c 2021-10-24 op ../gmid -p 1966 .
18 b4c6cd97 2021-10-04 op rsync --delete -a . op:sites/gmid.omarpolo.com
19 b4c6cd97 2021-10-04 op rsync --delete -a . op:gemini/gmid.omarpolo.com