675b5b673b
Also: - Drop upstreamed -immutable patch. - Drop libtool Requires from the -devel subpackage. - Drop testing workaround for s390x, fixed upstream.
45 lines
1.4 KiB
Diff
45 lines
1.4 KiB
Diff
--- lib/helpdef.gi.orig 2020-02-29 02:02:10.000000000 -0700
|
|
+++ lib/helpdef.gi 2020-03-10 16:23:08.773969047 -0600
|
|
@@ -403,6 +403,11 @@ HELP_BOOK_HANDLER.default.ReadSix := fun
|
|
res.pdffile := ShallowCopy(fname);
|
|
Add(res.formats, "pdf");
|
|
fi;
|
|
+ fname{[Length(fname)-5..Length(fname)]} := "dvi.gz";
|
|
+ if IsExistingFile( fname ) = true then
|
|
+ res.dvifile := ShallowCopy(fname);
|
|
+ Add(res.formats, "dvi");
|
|
+ fi;
|
|
fi;
|
|
res.directories := [ Directory(fname{[1..Length(fname)-10]}) ];
|
|
return res;
|
|
--- lib/helpview.gi.orig 2020-02-29 02:02:10.000000000 -0700
|
|
+++ lib/helpview.gi 2020-03-10 16:23:08.774969030 -0600
|
|
@@ -437,6 +437,27 @@ if IsHPCGAP then
|
|
MakeReadOnlyObj(HELP_VIEWER_INFO);
|
|
fi;
|
|
|
|
+# View HTML, DVI, or PDF files with xdg-open, which opens documents with the
|
|
+# user's preferred application.
|
|
+HELP_VIEWER_INFO.xdghtml := rec(
|
|
+type := "url",
|
|
+show := function(url)
|
|
+ Exec(Concatenation("xdg-open \"", url, "\""));
|
|
+end
|
|
+);
|
|
+HELP_VIEWER_INFO.xdgdvi := rec(
|
|
+type := "dvi",
|
|
+show := function(file)
|
|
+ Exec(Concatenation("xdg-open \"", file, "\""));
|
|
+end
|
|
+);
|
|
+HELP_VIEWER_INFO.xdgpdf := rec(
|
|
+type := "pdf",
|
|
+show := function(file)
|
|
+ Exec(Concatenation("xdg-open \"", file, "\""));
|
|
+end
|
|
+);
|
|
+
|
|
#############################################################################
|
|
##
|
|
#F SetHelpViewer(<viewer>): Set the viewer used for help
|