diff options
author | Tom Willemse | 2013-05-27 22:30:00 +0200 |
---|---|---|
committer | Tom Willemse | 2013-05-27 22:30:00 +0200 |
commit | 7f6037855dbfb16e5c05c29fd1eaeba14c4dfabb (patch) | |
tree | c450f41b7b95f59fe1036489b94ac95a99c64187 /src | |
parent | aa0accc9772c8d49f16fc167f49587ff902bd3dd (diff) | |
download | gitto-7f6037855dbfb16e5c05c29fd1eaeba14c4dfabb.tar.gz gitto-7f6037855dbfb16e5c05c29fd1eaeba14c4dfabb.zip |
Add user manual
Diffstat (limited to 'src')
-rw-r--r-- | src/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Makefile b/src/Makefile index f7f6827..50ed2e4 100644 --- a/src/Makefile +++ b/src/Makefile @@ -18,9 +18,9 @@ libguile-gitto-path.so: gitto-path.o $(CC) $(CFLAGS) -shared -o libguile-gitto-path.so $^ install-gitto: gitto - install -Dm 755 $^ ${DESTDIR}/bin/$^ + $(INSTALL_PROGRAM) -m 755 $^ ${DESTDIR}/bin/$^ install-libguile-gitto-path: libguile-gitto-path.so - install -Dm 755 $^ ${EXTDIR}/$^ + $(INSTALL_PROGRAM) -m 755 $^ ${EXTDIR}/$^ install: install-gitto install-libguile-gitto-path uninstall: |