stop installing duplicate docs; tweak installed files; Add info manual to doc-base
[gnulib.git] / lib / pthread.c
1 #include <config.h>
2 #define _GL_PTHREAD_INLINE _GL_EXTERN_INLINE
3 #include "pthread.h"