diff options
Diffstat (limited to 'academic/aris/html_doc.patch')
| -rw-r--r-- | academic/aris/html_doc.patch | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/academic/aris/html_doc.patch b/academic/aris/html_doc.patch new file mode 100644 index 0000000000..1b359b73d6 --- /dev/null +++ b/academic/aris/html_doc.patch @@ -0,0 +1,19 @@ +--- aris-2.0/configure 2012-09-25 05:06:22.000000000 -0300 ++++ aris-2.0b/configure 2013-03-23 18:34:59.483719378 -0300 +@@ -4610,3 +4610,1 @@ +-cat >>confdefs.h <<_ACEOF +-#define HELP_FILE "file://`pwd`/doc/aris/index.html" +-_ACEOF ++echo "#define HELP_FILE \"file://"$htmldir"/index.html\"" >>confdefs.h +--- aris-2.0/src/aris.c 2012-09-25 05:06:22.000000000 -0300 ++++ aris-2.0b/src/aris.c 2013-03-23 18:45:25.290749474 -0300 +@@ -1064,0 +1065,6 @@ ++#ifdef HELP_FILE /* Which should be defined in config.h */ ++ ++ strcpy (the_app->help_file, HELP_FILE); ++ ++#else ++ +@@ -1076,0 +1083,2 @@ ++ ++#endif /* HELP FILE */ |