Ignore more headers.

diff --git a/doc/reference/Makefile.am b/doc/reference/Makefile.am
index dda2e01fa69137f8c78877c78cf2a1ec6eca8319..a4854906891bdacb2219c871197fb542cb4eb0cc 100644 (file)
--- a/doc/reference/Makefile.am
+++ b/doc/reference/Makefile.am
@@ -95,6 +95,9 @@ IGNORE_HFILES += alignof.h alloca.h alloca.in.h arg-nonnull.h         \
        time.h time.in.h unistd.h unistd.in.h w32sock.h warn-on-use.h   \
        vasnprintf.h wchar.h wchar.in.h xsize.h
 
+# cd lib/gl/sys/ && echo *.h
+IGNORE_HFILES += socket.h stat.h
+
 # cd lib/minitasn1/ && echo *.h
 IGNORE_HFILES += element.h gstr.h int.h parser_aux.h structure.h