2020-08-05 22:26:28 +02:00
|
|
|
URL = git@github.com:jcrd/awesome-launch
|
|
|
|
|
|
2020-05-07 15:17:34 +02:00
|
|
|
rock:
|
|
|
|
|
luarocks make --local rockspec/awesome-launch-devel-1.rockspec
|
2020-05-13 17:26:08 +02:00
|
|
|
|
2020-08-05 22:26:28 +02:00
|
|
|
gh-pages:
|
|
|
|
|
git clone -b gh-pages --single-branch $(URL) gh-pages
|
|
|
|
|
|
|
|
|
|
ldoc: gh-pages
|
|
|
|
|
ldoc . -d gh-pages
|
|
|
|
|
|
2020-08-05 22:48:37 +02:00
|
|
|
serve: gh-pages
|
|
|
|
|
python -m http.server --directory gh-pages
|
|
|
|
|
|
|
|
|
|
.PHONY: rock ldoc serve
|
