Beginnings of a Makefile for the gnulib maintainers.

diff --git a/ChangeLog b/ChangeLog
index 2e45646..6c3b89c 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2006-11-20  Bruno Haible  <bruno@clisp.org>
+
+       * Makefile: New file.
+
 2006-11-20  Jim Meyering  <jim@meyering.net>
 
        * lib/idcache.c: Adjust comments in user- and group- portions to

diff --git a/Makefile b/Makefile
new file mode 100644 (file)
index 0000000..e39ec27
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,19 @@
+# Makefile for gnulib central.
+# Copyright (C) 2006 Free Software Foundation, Inc.
+#
+# Copying and distribution of this file, with or without modification,
+# in any medium, are permitted without royalty provided the copyright
+# notice and this notice are preserved.
+
+# Produce some files that are not stored in CVS.
+all:
+
+# Perform some platform independent checks on the gnulib code.
+check:
+
+# Regenerate some files that are stored in CVS; you should commit them
+# afterwards.
+regen: MODULES.html
+
+MODULES.html: MODULES.html.sh
+       ./MODULES.html.sh > MODULES.html