fix makefile and doc

Makefile

@@ -64,16 +64,4 @@ update_next_tag:
 	sed -i "s/NEXT_VERSION/$(VERSION)/g" *.ml *.mli
 	sed -i "s/NEXT_RELEASE/$(VERSION)/g" *.ml *.mli
 
-NAME_VERSION := sequence.$(VERSION)
-URL := https://github.com/c-cube/sequence/archive/$(VERSION).tar.gz
-
-release:
-	git tag -a $(VERSION) -m "Version $(VERSION)."
-	git push origin $(VERSION)
-	opam publish prepare $(NAME_VERSION) $(URL)
-	cp descr $(NAME_VERSION)
-	echo "submit?"
-	@read
-	opam publish submit $(NAME_VERSION)
-
 .PHONY: benchs tests examples update_next_tag push_doc push_stable

sequence.mli

@@ -530,7 +530,6 @@ end
 
 include module type of Infix
 
-
 (** {2 Pretty printing of sequences} *)
 
 val pp_seq : ?sep:string -> (Format.formatter -> 'a -> unit) ->