Create the png directory

diff --git a/debian/patches/createpngdirectory.patch b/debian/patches/createpngdirectory.patch
new file mode 100644 (file)
index 0000000..dc906ce
--- /dev/null
+++ b/debian/patches/createpngdirectory.patch
@@ -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