--- ./Doc/Makefile.org Mon Apr 24 06:07:02 1995 +++ ./Doc/Makefile Mon Apr 24 15:07:02 1995 @@ -23,7 +23,7 @@ install: all: dvi ps - + dvi: for i in $(DIRS) ;do \ (cd $$i; $(MAKE) dvi); \ @@ -33,7 +33,7 @@ for i in $(DIRS) ;do \ (cd $$i; $(MAKE) ps); \ done - + install.man: -if [ ! -d $(MAN1_DIR) ] ; then mkdir -p $(MAN1_DIR); fi rm -f $(MAN1_DIR)/stk.1