@@ -38,11 +38,11 @@
 
     Installation:
 
         configure       configuration script
         configure.in    autoconf-2.12 source for the configuration script
-        ../build-aux/*  auxiliary build scripts
+        ../autoconf/*   auxiliary configuration scripts
         Makefile.in     Makefile master
 
     Porting:
 
         Makefile.devel  developer's Makefile