pintos-os.org Git - pspp/blob - config/srclist.txt

   1 # $Id: srclist.txt,v 1.1 2002-09-10 23:41:12 karl Exp $
   2 # Files for which we are not the source.
   3
   4 TEXINFO=/u/texinfo/src
   5 GNUCONFIG=$HOME/gnu/src/ftp.gnu.org/pub/gnu/config
   6
   7 $TEXINFO/doc/texinfo.tex        config
   8 $GNUCONFIG/config.guess         config
   9 $GNUCONFIG/config.sub           config