--- a/doc-src/System/Makefile Mon May 12 18:34:34 1997 +0200
+++ b/doc-src/System/Makefile Mon May 12 18:34:49 1997 +0200
@@ -12,9 +12,6 @@
system.dvi.gz: $(FILES)
-rm system.dvi*
latex system
- rail system
- bibtex system
- latex system
latex system
../sedindex system
latex system