pintos-os.org Git - pspp/blob - doc/Makefile.am

   1 ## Process this file with automake to produce Makefile.in  -*- makefile -*-
   2
   3 info_TEXINFOS = pspp.texi
   4
   5 # FIXME: remove this when the manual is fixed to eliminate dangling
   6 # references.
   7 MAKEINFO = makeinfo --no-validate
   8
   9 EXTRA_DIST = pspp.man
  10
  11 MAINTAINERCLEANFILES = Makefile.in README.html pspp.info pspp.info-*