Makefile

   1 # Makefile for gnulib central.
   2 # Copyright (C) 2006, 2009 Free Software Foundation, Inc.
   3 #
   4 # Copying and distribution of this file, with or without modification,
   5 # in any medium, are permitted without royalty provided the copyright
   6 # notice and this notice are preserved.
   7
   8 # Produce some files that are not stored in the repository.
   9 all:
  10
  11 # Produce the documentation in readable form.
  12 info:
  13         cd doc && $(MAKE) info
  14 html:
  15         cd doc && $(MAKE) html
  16 dvi:
  17         cd doc && $(MAKE) dvi && $(MAKE) mostlyclean
  18 pdf:
  19         cd doc && $(MAKE) pdf && $(MAKE) mostlyclean
  20
  21 # Perform some platform independent checks on the gnulib code.
  22 check:
  23
  24 # Regenerate some files that are stored in the repository.
  25 regen: MODULES.html
  26
  27 # MODULES.html is periodically being generated and copied to the web pages at
  28 # :ext:USER@cvs.savannah.gnu.org:/web/gnulib/gnulib/
  29 # where it then appears at <http://www.gnu.org/software/gnulib/MODULES.html>.
  30 MODULES.html: MODULES.html.sh
  31         ./MODULES.html.sh > MODULES.html