1 0211eb73 2022-01-23 op MANPAGES =	../kamictl/kamictl.8	\
 2 0211eb73 2022-01-23 op 		../kamid/9p.7		\
 3 0211eb73 2022-01-23 op 		../kamid/kamid.8	\
 4 0211eb73 2022-01-23 op 		../kamid/kamid.conf.5	\
 5 0211eb73 2022-01-23 op 		../kamiftp/kamiftp.1
 6 0211eb73 2022-01-23 op 
 7 0211eb73 2022-01-23 op PAGES =		index.gmi install.gmi tutorial.gmi
 8 0211eb73 2022-01-23 op 
 9 0211eb73 2022-01-23 op TITLE_index.gmi =	home
10 2903cf42 2022-01-23 op TITLE_install.gmi =	install guide
11 0211eb73 2022-01-23 op TITLE_tutorial.gmi =	tutorial
12 0211eb73 2022-01-23 op 
13 0211eb73 2022-01-23 op SUBST_GEM =	./subst MANEXT=txt  EXT=gmi
14 0211eb73 2022-01-23 op SUBST_WWW =	./subst MANEXT=html EXT=html
15 0211eb73 2022-01-23 op 
16 c8477a00 2022-01-23 op .PHONY: all dirs manpages server-www serve-gemini upload clean titles
17 0211eb73 2022-01-23 op 
18 0211eb73 2022-01-23 op all: dirs manpages pages
19 0211eb73 2022-01-23 op 	cp style.css www/
20 0211eb73 2022-01-23 op 
21 0211eb73 2022-01-23 op dirs:
22 0211eb73 2022-01-23 op 	mkdir -p gemini
23 0211eb73 2022-01-23 op 	mkdir -p www
24 0211eb73 2022-01-23 op 
25 0211eb73 2022-01-23 op manpages:
26 0211eb73 2022-01-23 op .for m in ${MANPAGES}
27 0211eb73 2022-01-23 op 	./mdoc2html.sh $m www/${m:T}.html
28 0211eb73 2022-01-23 op 	man -O width=65 -Tutf8 -l $m | col -b > gemini/${m:T}.txt
29 0211eb73 2022-01-23 op .endfor
30 0211eb73 2022-01-23 op 
31 0211eb73 2022-01-23 op pages:
32 0211eb73 2022-01-23 op .for p in ${PAGES}
33 0211eb73 2022-01-23 op 	${SUBST_GEM} $p > gemini/$p
34 0211eb73 2022-01-23 op 
35 0211eb73 2022-01-23 op 	${SUBST_WWW} TITLE=${TITLE_${p}:Q} header.html > www/${p:.gmi=.html}
36 c8477a00 2022-01-23 op 	${MAKE} titles | ./menu.pl "${p:.gmi=.html}" >> www/${p:.gmi=.html}
37 0211eb73 2022-01-23 op 	${SUBST_WWW} $p | ./gem2html >> www/${p:.gmi=.html}
38 0211eb73 2022-01-23 op 	cat footer.html >> www/${p:.gmi=.html}
39 0211eb73 2022-01-23 op .endfor
40 0211eb73 2022-01-23 op 
41 0211eb73 2022-01-23 op serve-www:
42 0211eb73 2022-01-23 op 	python3 -m http.server --directory www 8888
43 0211eb73 2022-01-23 op 
44 0211eb73 2022-01-23 op serve-gemini:
45 0211eb73 2022-01-23 op 	gmid -p 1966 ./gemini
46 0211eb73 2022-01-23 op 
47 0211eb73 2022-01-23 op upload:
48 0211eb73 2022-01-23 op 	rsync --delete -a www/ op:sites/kamid.omarpolo.com
49 0211eb73 2022-01-23 op 	rsync --delete -a gemini/ op:gemini/kamid.omarpolo.com
50 0211eb73 2022-01-23 op 
51 0211eb73 2022-01-23 op clean:
52 0211eb73 2022-01-23 op 	rm -rf gemini www
53 c8477a00 2022-01-23 op 
54 c8477a00 2022-01-23 op titles:
55 c8477a00 2022-01-23 op .for p in ${PAGES}
56 c8477a00 2022-01-23 op 	@printf "%s %s\n" "${p:.gmi=.html}" ${TITLE_${p}:Q}
57 c8477a00 2022-01-23 op .endfor