diff options
Diffstat (limited to 'patch-docs-Makefile.in')
-rw-r--r-- | patch-docs-Makefile.in | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/patch-docs-Makefile.in b/patch-docs-Makefile.in deleted file mode 100644 index 38c78ba9329e..000000000000 --- a/patch-docs-Makefile.in +++ /dev/null @@ -1,11 +0,0 @@ ---- docs/Makefile.in 2017-06-07 08:58:58.865890359 +1000 -+++ docs/Makefile.in-new 2017-06-07 12:05:49.719465922 +1000 -@@ -1,6 +1,6 @@ - prefix = @prefix@ --docdir = $(prefix)/share/doc/gps --sharedir = $(prefix)/share/gps -+docdir = $(DESTDIR)/$(prefix)/share/doc/gps -+sharedir = $(DESTDIR)/$(prefix)/share/gps - - MKDIR = mkdir -p - INSTALL = @INSTALL@ |