SUBDIRS = docbook html EXTRA_DIST = user_guide.dvi