Checkout
kfogel
committed
on 07 Jun
Update table of contents to match actual section names in INSTALL.