--- Makefile~ 2005-05-15 14:22:38.000000000 +0200 +++ Makefile 2005-05-17 14:09:58.487079087 +0200 @@ -2353,7 +2353,7 @@ packages_extra_smart: $(MAKE) -C packages extra_smart demo_install: - $(MAKE) -C $(CVSINSTALL)/demo sourceinstall + $(MAKE) -C demo sourceinstall man_install: $(MAKE) -C $(CVSINSTALL)/man installman doc_install: