DOCS := Specification.tex
Specification.dvi: layout.eps pwc_state.eps intro.tex data_flow.tex \
data_reduction.tex command_monitoring.tex pwc.tex \
control_interface.tex configuration_scheduling.tex \
summary.tex ipc.tex header.tex log.tex socket.tex \
dada_pwc.tex dada_pwc_main.tex dada_prc_main.tex testing.tex
include Makefile.tex