blob: f1521270a295bd429b4e962e82efeea04b0b269d (
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
|
