2021-10-04 15:01:41 +02:00
|
|
|
.PHONY: all serve-www serve-gemini upload
|
2021-10-04 12:42:35 +02:00
|
|
|
|
|
|
|
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 > $@
|
2021-10-04 14:54:46 +02:00
|
|
|
|
|
|
|
serve-www:
|
|
|
|
python3 -m http.server 8888
|
|
|
|
|
|
|
|
serve-gemini:
|
2021-10-24 18:38:11 +02:00
|
|
|
../gmid -p 1966 .
|
2021-10-04 15:01:41 +02:00
|
|
|
|
|
|
|
upload:
|
|
|
|
rsync --delete -a . op:sites/gmid.omarpolo.com
|
|
|
|
rsync --delete -a . op:gemini/gmid.omarpolo.com
|