Remove old stub file.

[gnulib.git] / doc / headers / setjmp.texi

diff --git a/doc/headers/setjmp.texi b/doc/headers/setjmp.texi
index 856abf0..c7a45b2 100644 (file)
--- a/doc/headers/setjmp.texi
+++ b/doc/headers/setjmp.texi
@@ -1,6 +1,8 @@
 @node setjmp.h
 @section @file{setjmp.h}
 
+POSIX specification: @url{http://www.opengroup.org/susv3xbd/setjmp.h.html}
+
 Gnulib module: ---
 
 Portability problems fixed by Gnulib: