.
[gnulib.git] / modules / gethrxtime
index 8c40d28..7fd4772 100644 (file)
@@ -17,6 +17,7 @@ configure.ac:
 gl_GETHRXTIME
 
 Makefile.am:
+EXTRA_DIST += gethrxtime.h xtime.h
 
 Include:
 #include "xtime.h"