Update the documentation release number in RELEASE.
This commit is contained in:
parent
da4d6daa4a
commit
228e31eef9
|
@ -76,7 +76,7 @@ VPATH=.
|
|||
|
||||
# Ideally, you shouldn't need to edit beyond this point
|
||||
|
||||
RELEASE=1.5.1
|
||||
RELEASE=1.5.1p1
|
||||
VERSION=1.5
|
||||
|
||||
MANDVIFILES= api.dvi ext.dvi lib.dvi ref.dvi tut.dvi
|
||||
|
|
Loading…
Reference in New Issue