a5c0fa3864
and instead generate them each and every time (twice!). Based on a suggestion from Alan Barrett, allow setting MAKETOC=no to permit rebuilding the install notes without regenerating the .toc files, to allow more speedy debugging of markup changes.