Make the "openManual" task build the manual before opening it.