Oops.
DHRHJS5XPUOAYYZZTEQTHMNNAEHAJRE74SL3DUDMNFAPDWWWV2KAC
6XSBP2VGOUJZUX7AMRW4TFFOCEBG4FAQCNSPK4VHHSLEK7C4WDEAC
6U6KBFYPWI2WJPZFEK6W4RN5JSRKFCBEPMKHDYEPGOROC5EWI2EAC
FV2M6MOTAP4BJMEKU5XUDVEACWEJGEIRCCE2MRY3F6SF2SFOE3MQC
$(DBLATEX) $(dblatex_opts) manual.xml \
$(DBLATEX) $(dblatex_opts) manual.xml; \