diff options
-rw-r--r-- | doc/posix_users/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/posix_users/Makefile b/doc/posix_users/Makefile index a1eab75fda..8c12928829 100644 --- a/doc/posix_users/Makefile +++ b/doc/posix_users/Makefile @@ -46,7 +46,6 @@ $(PROJECT).ps: $(PROJECT).dvi $(PROJECT).dvi: $(FILES) $(TEXI2DVI) posix_users.texi - mv posix_users.dvi $(PROJECT).dvi html: dirs $(FILES) -mkdir -p $(WWW_INSTALL)/$(PROJECT) |