diff options
| author | Andrej Zverev <az@FreeBSD.org> | 2013-10-05 10:00:51 +0000 |
|---|---|---|
| committer | Andrej Zverev <az@FreeBSD.org> | 2013-10-05 10:00:51 +0000 |
| commit | ab775d63f58ab91df559f769e1cc44fa9f42eb5b (patch) | |
| tree | 51cf0770de808b26ebc370054438df155a297e6d /math | |
| parent | 6d7762659712669000875dfe6d1aa6f6a513359c (diff) | |
| download | ports-ab775d63f58ab91df559f769e1cc44fa9f42eb5b.tar.gz ports-ab775d63f58ab91df559f769e1cc44fa9f42eb5b.zip | |
Notes
Diffstat (limited to 'math')
| -rw-r--r-- | math/gri/files/patch-doc__texinfo2HTML | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/math/gri/files/patch-doc__texinfo2HTML b/math/gri/files/patch-doc__texinfo2HTML new file mode 100644 index 000000000000..a929c9800e5c --- /dev/null +++ b/math/gri/files/patch-doc__texinfo2HTML @@ -0,0 +1,25 @@ +--- ./doc/texinfo2HTML.orig 2013-10-05 13:52:30.000000000 +0400 ++++ ./doc/texinfo2HTML 2013-10-05 13:53:16.000000000 +0400 +@@ -1,5 +1,8 @@ + #!/usr/bin/perl -w + ++use POSIX qw(ctime); ++use Getopt::Std; ++ + #$example_indent = " "; + $example_indent = ""; + +@@ -54,12 +57,10 @@ + the end is here} and more blah + will not get the \@code{} item converted correctly. + "; +-require "ctime.pl"; +-require "getopts.pl"; + + $debug = 0; + +-die if !&Getopts('h'); ++die if !getopts('h'); + $print_help = 0; + $print_help = $opt_h if $opt_h; + if ($print_help) { |