diff --git a/src/tools/RELEASE_CHANGES b/src/tools/RELEASE_CHANGES index dd42bef1a9..5977cfdf6d 100644 --- a/src/tools/RELEASE_CHANGES +++ b/src/tools/RELEASE_CHANGES @@ -1,6 +1,7 @@ README INSTALL HISTORY +register.txt doc/FAQ, including version number doc/Machine-specific FAQ's doc/TODO