diff options
author | V3n3RiX <venerix@koprulu.sector> | 2024-07-01 08:00:51 +0100 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2024-07-01 08:00:51 +0100 |
commit | d1c14e94a73fba924761cdad7298f3e48c6bc160 (patch) | |
tree | 60b97f0d81b3b06b06acc48ff8856d7c4afa2989 /sci-mathematics/fricas/files/fricas-1.3.11-doc.patch | |
parent | d5ee59790ee8298b8599b0aa0fa21a98b972a44d (diff) |
gentoo auto-resync : 01:07:2024 - 08:00:50
Diffstat (limited to 'sci-mathematics/fricas/files/fricas-1.3.11-doc.patch')
-rw-r--r-- | sci-mathematics/fricas/files/fricas-1.3.11-doc.patch | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/sci-mathematics/fricas/files/fricas-1.3.11-doc.patch b/sci-mathematics/fricas/files/fricas-1.3.11-doc.patch new file mode 100644 index 000000000000..fa38eef84dcc --- /dev/null +++ b/sci-mathematics/fricas/files/fricas-1.3.11-doc.patch @@ -0,0 +1,12 @@ +diff '--color=auto' -r -U3 fricas-1.3.11.orig/src/doc/Makefile.in fricas-1.3.11/src/doc/Makefile.in +--- fricas-1.3.11.orig/src/doc/Makefile.in 2024-06-30 04:17:46.000000000 +0700 ++++ fricas-1.3.11/src/doc/Makefile.in 2024-06-30 22:46:39.519468947 +0700 +@@ -666,7 +666,7 @@ + tmp/vp-knot3.input: knot3.input ${INPUT_EXTRA_INPUT} + cp $< $@ + +-${HTEX_VIEWPORTS_STAMP}: tmp/stamp-%: tmp/vp-%.input ++${HTEX_VIEWPORTS_STAMP}: tmp/stamp-%: tmp/vp-%.input ${INPUT_EXTRA_INPUT} + unset DAASE; FRICAS=${FRICAS}; export FRICAS; \ + echo ")read $<" | FRICAS_INITFILE='' ${XVFB} \ + ${FRICAS}/bin/fricas -noht -noclef > /dev/null |