[Fix #507] Add OpenMP support to GCC
Rebuild Texinfo manual