Commit 1bb823e9 authored by POTTIER Francois's avatar POTTIER Francois

Added [make tag] to GNUmakefile.

parent e7eea508
......@@ -6,7 +6,7 @@
SHELL := bash
.PHONY: all test clean package check api export opam local unlocal pin unpin
.PHONY: all test clean package check api export tag opam local unlocal pin unpin
# -------------------------------------------------------------------------
......@@ -216,6 +216,13 @@ export: api
# -------------------------------------------------------------------------
# Creating a git tag.
tag:
git tag -a $(DATE) -m "Release $(DATE)."
# -------------------------------------------------------------------------
# Updating the opam package.
# This entry assumes that "make package" and "make export" have been
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment