[zathura] [PATCH] djvu: fix 'make uninstall' command

2011-10-06 Thread Pavel Borzenkov 
'make uninstall' should remove the 'plugin' directory only if it's
empty.

Also, this patch adds .gitignore file.

Signed-off-by: Pavel Borzenkov 
---
 .gitignore |4 
 Makefile   |2 +-
 2 files changed, 5 insertions(+), 1 deletions(-)
 create mode 100644 .gitignore

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 000..e1043a9
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,4 @@
+*.o
+*~
+.depend
+djvu.so
diff --git a/Makefile b/Makefile
index a79d8ca..d6eac10 100644
--- a/Makefile
+++ b/Makefile
@@ -54,7 +54,7 @@ install: all
 uninstall:
@echo uninstalling ${PLUGIN} plugin
@rm -f ${DESTDIR}${PREFIX}/lib/zathura/${PLUGIN}.so
-   @rm -rf ${DESTDIR}${PREFIX}/lib/zathura
+   @rmdir ${DESTDIR}${PREFIX}/lib/zathura 2> /dev/null || /bin/true
 
 -include $(wildcard .depend/*.dep)
 
-- 
1.7.0.4

___
zathura mailing list
zathura@lists.pwmt.org
http://lists.pwmt.org/mailman/listinfo/zathura

[zathura] [PATCH] pdf-mupdf: fix 'make uninstall' command

2011-10-06 Thread Pavel Borzenkov 
'make uninstall' should remove the 'plugin' directory only if it's
empty.

Also, this patch adds .gitignore file.

Signed-off-by: Pavel Borzenkov 
---
 .gitignore |4 
 Makefile   |2 +-
 2 files changed, 5 insertions(+), 1 deletions(-)
 create mode 100644 .gitignore

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 000..d18b866
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,4 @@
+*.o
+*~
+.depend
+pdf.so
diff --git a/Makefile b/Makefile
index 9eab7b0..72cb4c6 100644
--- a/Makefile
+++ b/Makefile
@@ -54,7 +54,7 @@ install: all
 uninstall:
@echo uninstalling ${PLUGIN} plugin
@rm -f ${DESTDIR}${PREFIX}/lib/zathura/${PLUGIN}.so
-   @rm -rf ${DESTDIR}${PREFIX}/lib/zathura
+   @rmdir ${DESTDIR}${PREFIX}/lib/zathura 2> /dev/null || /bin/true
 
 -include $(wildcard .depend/*.dep)
 
-- 
1.7.0.4

___
zathura mailing list
zathura@lists.pwmt.org
http://lists.pwmt.org/mailman/listinfo/zathura

[zathura] [PATCH] pdf-poppler: fix 'make uninstall' command

2011-10-06 Thread Pavel Borzenkov 
'make uninstall' should remove the 'plugin' directory only if it's
empty.

Also, this patch adds .gitignore file.

Signed-off-by: Pavel Borzenkov 
---
 .gitignore |4 
 Makefile   |2 +-
 2 files changed, 5 insertions(+), 1 deletions(-)
 create mode 100644 .gitignore

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 000..d18b866
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,4 @@
+*.o
+*~
+.depend
+pdf.so
diff --git a/Makefile b/Makefile
index 9eab7b0..72cb4c6 100644
--- a/Makefile
+++ b/Makefile
@@ -54,7 +54,7 @@ install: all
 uninstall:
@echo uninstalling ${PLUGIN} plugin
@rm -f ${DESTDIR}${PREFIX}/lib/zathura/${PLUGIN}.so
-   @rm -rf ${DESTDIR}${PREFIX}/lib/zathura
+   @rmdir ${DESTDIR}${PREFIX}/lib/zathura 2> /dev/null || /bin/true
 
 -include $(wildcard .depend/*.dep)
 
-- 
1.7.0.4

___
zathura mailing list
zathura@lists.pwmt.org
http://lists.pwmt.org/mailman/listinfo/zathura

[zathura] [PATCH] ps: fix 'make uninstall' command

2011-10-06 Thread Pavel Borzenkov 
'make uninstall' should remove the 'plugin' directory only if it's
empty.

Also, this patch adds .gitignore file.

Signed-off-by: Pavel Borzenkov 
---
 .gitignore |4 
 Makefile   |2 +-
 2 files changed, 5 insertions(+), 1 deletions(-)
 create mode 100644 .gitignore

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 000..596fe8f
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,4 @@
+*.o
+*~
+.depend
+ps.so
diff --git a/Makefile b/Makefile
index 7d2473c..ee94dd7 100644
--- a/Makefile
+++ b/Makefile
@@ -54,7 +54,7 @@ install: all
 uninstall:
@echo uninstalling ${PLUGIN} plugin
@rm -f ${DESTDIR}${PREFIX}/lib/zathura/${PLUGIN}.so
-   @rm -rf ${DESTDIR}${PREFIX}/lib/zathura
+   @rmdir ${DESTDIR}${PREFIX}/lib/zathura 2> /dev/null || /bin/true
 
 -include $(wildcard .depend/*.dep)
 
-- 
1.7.0.4

___
zathura mailing list
zathura@lists.pwmt.org
http://lists.pwmt.org/mailman/listinfo/zathura

Re: [zathura] [PATCH] ps: fix 'make uninstall' command

2011-10-06 Thread Sebastian Ramacher 
On 10/06/2011 03:09 PM, Pavel Borzenkov wrote:
> 'make uninstall' should remove the 'plugin' directory only if it's
> empty.
> 
> Also, this patch adds .gitignore file.

Thanks, applied.
___
zathura mailing list
zathura@lists.pwmt.org
http://lists.pwmt.org/mailman/listinfo/zathura