diff --git a/makefile b/makefile index e870e72..4480f81 100644 --- a/makefile +++ b/makefile @@ -39,8 +39,10 @@ ci: ci -r$(VERSION) -sRel -f $(RCSFILE) ci -u$(VERSION) makefile + co: co $(RCSFILE) + co-l: co -l $(RCSFILE)