diff options
Diffstat (limited to 'accessibility')
| -rw-r--r-- | accessibility/gnome-mag/files/patch-docs_reference_Makefile.in | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/accessibility/gnome-mag/files/patch-docs_reference_Makefile.in b/accessibility/gnome-mag/files/patch-docs_reference_Makefile.in new file mode 100644 index 000000000000..65bcf35805bc --- /dev/null +++ b/accessibility/gnome-mag/files/patch-docs_reference_Makefile.in @@ -0,0 +1,11 @@ +--- docs/reference/Makefile.in.orig 2009-08-09 02:49:17.000000000 +0200 ++++ docs/reference/Makefile.in 2009-08-09 02:54:54.000000000 +0200 +@@ -418,8 +418,6 @@ + + html/index.html: + -rm -rf html +- -doxygen $(doxygen_configfile) \ +- 2> doxygen-warnings.txt | tee doxygen-output.txt && cat doxygen-warnings.txt + + gnome-mag-reference-html.tar.gz: html/index.html + tar cf - html | gzip -c --best >$@ |