haskal
/
utop
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Added comment in Makefile

This commit is contained in:
Jeremie Dimino 2017-04-04 13:51:58 +01:00
parent 2f64eb4785
commit 4826d0558a
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
Makefile
View File

@ -35,6 +35,7 @@ clean:
rm -rf _build *.install rm -rf _build *.install
find . -name .merlin -delete find . -name .merlin -delete
# This needs to be updated
.PHONY: gh-pages .PHONY: gh-pages
gh-pages: doc gh-pages: doc
git clone `git config --get remote.origin.url` .gh-pages --reference . git clone `git config --get remote.origin.url` .gh-pages --reference .