awesomewm-mirrors
/
awesome-launch
mirror of https://github.com/jcrd/awesome-launch.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Makefile: Add targets to clone and update gh-pages

This commit is contained in:
James Reed 2020-08-05 14:26:28 -06:00
parent 14e09e5195
commit 86d66ed9d4
No known key found for this signature in database
GPG Key ID: 0BE2BD33C5E8125E
1 changed files with 9 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
Makefile
View File

@ -1,4 +1,12 @@
URL = git@github.com:jcrd/awesome-launch
rock:
luarocks make --local rockspec/awesome-launch-devel-1.rockspec
.PHONY: rock
gh-pages:
git clone -b gh-pages --single-branch $(URL) gh-pages
ldoc: gh-pages
ldoc . -d gh-pages
.PHONY: rock ldoc