-gh-pages: html
-ifdef GH_TOKEN
- git clone --branch=gh-pages https://$(GH_TOKEN)@github.com/oliverschmidt/cc65.git $(GH_PAGES)
- git --work-tree=$(GH_PAGES) --git-dir=$(GH_PAGES)/.git config user.name "Oliver Schmidt"
- git --work-tree=$(GH_PAGES) --git-dir=$(GH_PAGES)/.git config user.email "ol.sc@web.de"
- git --work-tree=$(GH_PAGES) --git-dir=$(GH_PAGES)/.git config push.default simple
- $(RM) -r $(GH_PAGES)/doc
- mkdir $(GH_PAGES)/doc
- cp ../html/* $(GH_PAGES)/doc
- git --work-tree=$(GH_PAGES) --git-dir=$(GH_PAGES)/.git add -A doc
- -git --work-tree=$(GH_PAGES) --git-dir=$(GH_PAGES)/.git commit -m "Updated doc from commit $(TRAVIS_COMMIT)."
- git --work-tree=$(GH_PAGES) --git-dir=$(GH_PAGES)/.git push
+clean:
+ $(RM) -r ../html ../info
+
+install:
+ $(if $(PREFIX),,$(error variable "PREFIX" must be set))
+ifeq ($(wildcard ../html),../html)
+ $(INSTALL) -d $(DESTDIR)$(htmldir)
+ $(INSTALL) -m0644 ../html/*.* $(DESTDIR)$(htmldir)
+endif
+ifeq ($(wildcard ../info),../info)
+ $(INSTALL) -d $(DESTDIR)$(infodir)
+ $(INSTALL) -m0644 ../info/*.* $(DESTDIR)$(infodir)
+endif
+
+zip:
+ifneq "$(wildcard ../html)" ""
+ @cd .. && zip cc65 html/*.*