Create the png directory
authorSylvestre Ledru <sylvestre.ledru@scilab.org>
Mon, 29 Nov 2010 20:17:28 +0000 (21:17 +0100)
committerSylvestre Ledru <sylvestre.ledru@scilab.org>
Mon, 29 Nov 2010 20:17:28 +0000 (21:17 +0100)
debian/patches/createpngdirectory.patch [new file with mode: 0644]

diff --git a/debian/patches/createpngdirectory.patch b/debian/patches/createpngdirectory.patch
new file mode 100644 (file)
index 0000000..dc906ce
--- /dev/null
@@ -0,0 +1,11 @@
+diff --git a/texinfo/png/Makefile.am b/texinfo/png/Makefile.am
+index 80e5143..1d28940 100644
+--- a/texinfo/png/Makefile.am
++++ b/texinfo/png/Makefile.am
+@@ -7,5 +7,6 @@ CLEANFILES = $(png_images)
+ $(png_images): hotdogs.pts # $(top_builddir)/examples/mgl_example
+       $(top_builddir)/examples/mgl_example -kind=${@:.png=}
++      if test ! -d ../../png; then mkdir ../../png/; fi
+       cp ${@} ../../png/
+       touch $(srcdir)/../mathgl.texi