diff options
Diffstat (limited to 'lib/tv/doc/src/make.dep')
| -rw-r--r-- | lib/tv/doc/src/make.dep | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/lib/tv/doc/src/make.dep b/lib/tv/doc/src/make.dep new file mode 100644 index 0000000000..8437e320c6 --- /dev/null +++ b/lib/tv/doc/src/make.dep @@ -0,0 +1,32 @@ +# ---------------------------------------------------- +# >>>> 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 part.tex ref_man.tex table_visualizer_chapter.tex \ + tv.tex + +# ---------------------------------------------------- +# Source inlined when transforming from source to LaTeX +# ---------------------------------------------------- + +book.tex: ref_man.xml + +# ---------------------------------------------------- +# Pictures that the DVI file depend on +# ---------------------------------------------------- + +book.dvi: info_window.ps set_poll_int.ps tv_create_table.ps \ + tv_record_editor_mnesia.ps tv_row_marked.ps \ + tv_row_marked_popup.ps tv_search_result.ps \ + tv_search_window.ps tv_start.ps tv_start_mnesia.ps \ + tv_start_other_node.ps tv_start_pid_sorted.ps \ + tv_start_system.ps tv_start_system_unreadable.ps \ + tv_table_browser.ps tv_table_browser_updated.ps + |