Commit aa93a59f7a386221797b809f18ee670edfbaff02

Paul Eggert 2011-05-17T13:07:28

verify: add doc to gnulib manual and fix example * doc/gnulib.texi (Compile-time Assertions): New node, for 'verify'. * doc/verify.texi (Compile-time Assertions): Update 'assert' doc. (Compile-time Assertions): Fix example so it can't overflow.