blob: e3de06668b5f180757df710a9a08fbc3c4aac3ca (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
.PHONY: all serve-www serve-gemini upload
all: gmid.1.html gmid.1.txt
gmid.1.html: ../gmid.1
./mdoc2html.sh $? $@
gmid.1.txt: ../gmid.1
MANWIDTH=72 man -Tutf8 -l $? | col -b > $@
serve-www:
python3 -m http.server 8888
serve-gemini:
gmid -p 1966 .
upload:
rsync --delete -a . op:sites/gmid.omarpolo.com
rsync --delete -a . op:gemini/gmid.omarpolo.com
|
