From e984753124a35ac974f8b031d24b6d85e6e9935f Mon Sep 17 00:00:00 2001 From: Zsolt Udvari Date: Thu, 2 Jul 2009 14:36:23 +0000 Subject: [PATCH] - unneeded Changed files: asymptote-doc-png-makefile.patch -> 1.2 --- asymptote-doc-png-makefile.patch | 11 ----------- 1 file changed, 11 deletions(-) delete mode 100644 asymptote-doc-png-makefile.patch diff --git a/asymptote-doc-png-makefile.patch b/asymptote-doc-png-makefile.patch deleted file mode 100644 index d11dc2c..0000000 --- a/asymptote-doc-png-makefile.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- asymptote-1.77-orig/doc/png/Makefile.in 2009-06-08 04:11:06.000000000 +0200 -+++ asymptote-1.77/doc/png/Makefile.in 2009-06-19 20:12:04.142714612 +0200 -@@ -20,7 +20,7 @@ - makeinfo --html ../asymptote -o . - - asymptote.info: $(SOURCE) -- makeinfo --no-split ../asymptote >& /dev/null -+ makeinfo --no-split ../asymptote &> /dev/null - - info: asymptote.info $(SOURCE) - makeinfo --no-split ../asymptote -- 2.43.0