verify: add doc to gnulib manual and fix example
authorPaul Eggert <eggert@cs.ucla.edu>
Tue, 17 May 2011 20:07:28 +0000 (13:07 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Tue, 17 May 2011 20:07:28 +0000 (13:07 -0700)
commitaa93a59f7a386221797b809f18ee670edfbaff02
treebc08997d7ee85b43253b5bfa6a6382efdf77a161
parentb2b60640bee61caf8531f678350f3d3f74049d60
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.
ChangeLog
doc/gnulib.texi
doc/verify.texi