Modified doc/openscop.texi to work with makeinfo 5.1