6XSBP2VGOUJZUX7AMRW4TFFOCEBG4FAQCNSPK4VHHSLEK7C4WDEAC
6U6KBFYPWI2WJPZFEK6W4RN5JSRKFCBEPMKHDYEPGOROC5EWI2EAC
FV2M6MOTAP4BJMEKU5XUDVEACWEJGEIRCCE2MRY3F6SF2SFOE3MQC
manual.pdf : $(DOCBOOK_FILES)
manual.pdf: $(DOCBOOK_FILES)
$(DBLATEX) $(dblatex_opts) manual.xml; \
$(DBLATEX) $(dblatex_opts) manual.xml \