Makefile
changeset 10961 ce6d56b95f2e
parent 10134 821793e3049c
child 11390 11cd65611f3f
equal deleted inserted replaced
10960:ca739acf1a98 10961:ce6d56b95f2e
    49 	$(MAKE) -C doc clean
    49 	$(MAKE) -C doc clean
    50 
    50 
    51 install: install-bin install-doc
    51 install: install-bin install-doc
    52 
    52 
    53 install-bin: build
    53 install-bin: build
    54 	$(PYTHON) setup.py $(PURE) install --prefix="$(PREFIX)" --force
    54 	$(PYTHON) setup.py $(PURE) install --root="$(DESTDIR)/" --prefix="$(PREFIX)" --force
    55 
    55 
    56 install-doc: doc
    56 install-doc: doc
    57 	cd doc && $(MAKE) $(MFLAGS) install
    57 	cd doc && $(MAKE) $(MFLAGS) install
    58 
    58 
    59 install-home: install-home-bin install-home-doc
    59 install-home: install-home-bin install-home-doc