blob: 69b177f77c679b1902fa3aa90d81eba73bacf4d0 (
plain) (
tree)
|
|
# ----------------------------------------------------
# >>>> 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 conc_prog.tex intro.tex part.tex \
records_macros.tex robustness.tex seq_prog.tex
|
