../ Makefile.in,v 22-Aug-2002 22:00 4417 configure,v 22-Aug-2002 22:00 30909 configure.in,v 22-Aug-2002 22:00 519 porting.texi,v 22-Aug-2002 22:00 64062