run-gendocs.sh
authorng0 <ng0@n0.is>
Mon, 4 Mar 2019 11:39:13 +0000 (11:39 +0000)
committerng0 <ng0@n0.is>
Mon, 4 Mar 2019 11:39:13 +0000 (11:39 +0000)
commit7747d2bdd7b073f1d025d8cbe692c2bae16adaa5
tree996097dad657f79ca3da681f3cf01bf029e3c24c
parent86b382be842b8b7f97a7a9f985a2116ad428d9c1
run-gendocs.sh
doc/handbook/run-gendocs.sh
doc/tutorial/run-gendocs.sh