diff --git a/manuals/ponysay.texinfo b/manuals/ponysay.texinfo index 488fdb95..9514ad87 100644 --- a/manuals/ponysay.texinfo +++ b/manuals/ponysay.texinfo @@ -8,7 +8,7 @@ @documentlanguage en @finalout @c %**end of header -@set VERSION 3.0.2 +@set VERSION 3.1 @defindex op @synindex op vr @@ -3011,7 +3011,7 @@ sequences. @cindex versions @cindex previous releases -@heading Version 3.0.2 +@heading Version 3.1 @itemize @bullet @item New ponies: @file{brucemane}, @file{deepblue}, @file{hairytipper}, @file{peachbottom}, @file{rainbowdrop},