diff --git a/GNUmakefile b/GNUmakefile index ba64bee0..7708619f 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -22,7 +22,7 @@ endif PP:=$(GAWK) -f ext/mwg_pp.awk -FULLVER:=0.1.14 +FULLVER:=0.1.15 outfiles+=out out: