diff --git a/src/tools/RELEASE_CHANGES b/src/tools/RELEASE_CHANGES index b6d87221bc55078c50d128693e1fcecda93ca533..924cf4a8ed7f2f49b96cc044e28f00bc740f8b51 100644 --- a/src/tools/RELEASE_CHANGES +++ b/src/tools/RELEASE_CHANGES @@ -2,6 +2,7 @@ README INSTALL HISTORY register.txt +configure.in doc/FAQ, including version number doc/Machine-specific FAQ's doc/TODO