diff options
-rw-r--r-- | Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index a79d6cbc..b9b91a0e 100644 --- a/Makefile.in +++ b/Makefile.in @@ -51,7 +51,7 @@ pkgpythondir = @pkgpythondir@ pkgpyexecdir = @pkgpyexecdir@ PYTHONPATH = $(pythondir)$(PATH_SEPARATOR)$(DESTDIR)$(pythondir) -all: install +all: develop .PHONY: all install develop uninstall distclean info install-html html \ install-pdf pdf install-dvi dvi install-ps ps clean dist check \ |