--- /dev/null
+@node assert
+@section @code{assert}
+@findex assert
+
+POSIX specification: @url{http://www.opengroup.org/susv3xsh/assert.html}
+
+Gnulib module: ---
+
+Portability problems fixed by Gnulib:
+@itemize
+@end itemize
+
+Portability problems not fixed by Gnulib:
+@itemize
+@end itemize
+
+Extension: Gnulib offers a module @samp{assert} that allows the installer to
+disable assertions through a @samp{configure} option: @samp{--disable-assert}.