diff options
Diffstat (limited to 'science/getdp/files/patch-doc__texinfo__texinfo.tex')
| -rw-r--r-- | science/getdp/files/patch-doc__texinfo__texinfo.tex | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/science/getdp/files/patch-doc__texinfo__texinfo.tex b/science/getdp/files/patch-doc__texinfo__texinfo.tex new file mode 100644 index 000000000000..b8d8a16c8b3c --- /dev/null +++ b/science/getdp/files/patch-doc__texinfo__texinfo.tex @@ -0,0 +1,7 @@ +--- doc/texinfo/texinfo.tex.orig Mon Feb 21 01:11:47 2005 ++++ doc/texinfo/texinfo.tex Mon Feb 21 01:19:52 2005 +@@ -1,3 +1,4 @@ ++\let\pdfoutput\undefined + % modified for gmsh -- see 'gmsh' tags + % + % texinfo.tex -- TeX macros to handle Texinfo files. |