Added MACHINES to EXTRA_DIST so that it gets put in the distribution.
[mmh] / docs / historical / mh-6.8.5 / papers / trusted /
drwxr-xr-x   ..
-rw-r--r-- 1602 Makefile
-rw-r--r-- 3486 appendixA.tex
-rw-r--r-- 3392 appendixB.tex
-rw-r--r-- 6653 appendixC.tex
-rw-r--r-- 544 diagramA1-1.tex
-rw-r--r-- 285 diagramA1-2.tex
-rw-r--r-- 483 diagramA1-3.tex
-rw-r--r-- 325 diagramA1-4.tex
-rw-r--r-- 344 diagramB1-1.tex
-rw-r--r-- 479 diagramB1-2.tex
-rw-r--r-- 928 figure1.pic
-rw-r--r-- 3377 figure1.tex
-rw-r--r-- 1057 figure2.pic
-rw-r--r-- 3783 figure2.tex
-rw-r--r-- 943 figure3.pic
-rw-r--r-- 4580 figure3.tex
-rw-r--r-- 5900 refs.tex
-rw-r--r-- 1955 table4.tex
-rw-r--r-- 46553 text.tex
-rw-r--r-- 2505 trusted.tex
-rw-r--r-- 3 version
-rwxr-xr-x 406 version.sh
-rw-r--r-- 147 version.tex