1.1 --- a/doc-src/System/Makefile Mon May 10 17:43:55 1999 +0200 1.2 +++ b/doc-src/System/Makefile Mon May 10 17:44:17 1999 +0200 1.3 @@ -5,7 +5,6 @@ 1.4 ## targets 1.5 1.6 default: dvi 1.7 -dist: dvi 1.8 1.9 1.10 ## dependencies