# ----------------------------------------------------
# >>>> Do not edit this file <<<<
# This file was automaticly generated by
# /home/otp/bin/docdepend
# ----------------------------------------------------


# ----------------------------------------------------
# TeX files that the DVI file depend on
# ----------------------------------------------------

book.dvi: book.tex cert_records.tex introduction.tex \
		part.tex public_key.tex public_key_records.tex \
		ref_man.tex

# ----------------------------------------------------
# Source inlined when transforming from source to LaTeX
# ----------------------------------------------------

book.tex: ref_man.xml