common_options.sgml.in for revision 7115cb787d20da6368e3392a97069894ec5d19d6 is empty. It was probably moved to a different location or deleted. A click on the History button may reveal more details.