# HG changeset patch
# User paulson
# Date 830425693 -7200
# Node ID a5bcaf5894f37518f5784897165f8598c0a8af65
# Parent  dd1ced7f1ff1ae9e901581e01b7f026aa21d6f8f
Now calls "rail" to update datatype syntax charts

diff -r dd1ced7f1ff1 -r a5bcaf5894f3 doc-src/Logics/Makefile
--- a/doc-src/Logics/Makefile	Thu Apr 25 11:44:34 1996 +0200
+++ b/doc-src/Logics/Makefile	Thu Apr 25 11:48:13 1996 +0200
@@ -12,6 +12,7 @@
 logics.dvi.gz:   $(FILES) 
 	-rm logics.dvi.gz
 	latex209 logics
+	rail logics
 	bibtex logics
 	latex209 logics
 	latex209 logics