c87fea6cf1
New configure script command line switches have been added since the last time we updated the documentation.