diff options
Diffstat (limited to 'Makefile.patch')
-rw-r--r-- | Makefile.patch | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/Makefile.patch b/Makefile.patch new file mode 100644 index 000000000000..4d0a3484b751 --- /dev/null +++ b/Makefile.patch @@ -0,0 +1,20 @@ +--- /home/jorge/Descargas/4th-3.62.0/sources/Makefile 2012-12-22 13:26:35.000000000 +0100 ++++ /home/jorge/Descargas/4th-3.62.0/sources/Makefile2 2013-02-25 15:44:21.622302210 +0100 +@@ -18,7 +18,7 @@ + + LIBRARIES=/usr/lib + INCLUDES=/usr/include +-BINARIES=/usr/local/bin ++BINARIES=/usr/bin + MANDIR=/usr/share/man + DOCDIR=/usr/share/doc + SOURCES=../4th +@@ -128,7 +128,7 @@ + + install: mostlyinstall + install -Dm644 ../documentation/4th.1 $(MANDIR)/man1/4th.1 +- install -Dm644 ../documentation/4tHmanual.txt $(DOCDIR)/4th/ ++ install -Dm644 ../documentation/4tHmanual.ps $(DOCDIR)/4th/ + + uninstall: + -rm -f $(LIBRARIES)/lib4th.{a,so*} |