doc/html/
doc/*.info
doc/optim.texi

