Commit 06e5d368 authored by Ximin Luo's avatar Ximin Luo

Work around old HEVEA in debian

parent 4a76c8ef
Description: Work around too-old version of hevea in Debian
It contains some bugs which break the xcas doc build
Author: Ximin Luo <infinity0@debian.org>
Bug: https://xcas.univ-grenoble-alpes.fr/forum/viewtopic.php?f=5&t=2108&p=10338#p10338
--- a/src/icas.cc
+++ b/src/icas.cc
@@ -523,7 +523,7 @@
out.close();
COUT << "File " << outfile << " created" << outfile << endl << "Then I will run pdflatex " << giac::remove_extension(outfile) << endl ;
if (dohevea){
- std::string cmd="hevea -fix "+infile_;
+ std::string cmd="hevea -fix "+infile_+" && sed -i -re 's/\\\\product\\b/\\prod/g' "+infile_+"_.tex";
COUT << "Running " << cmd << endl;
giac::system_no_deprecation(cmd.c_str());
}
@@ -750,7 +750,7 @@
out << s << endl;
out.close();
COUT << "File " << outfile << " created, now running hevea and pgiac " << outfile << endl << "Then I will run pdflatex " << giac::remove_extension(outfile) << endl << "For HTML5 output, you can run\nhevea -fix " << giac::remove_extension(infile) << endl;
- std::string cmd="hevea -fix "+giac::remove_extension(infile);
+ std::string cmd="hevea -fix "+giac::remove_extension(infile)+" && sed -i -re 's/\\\\product\\b/\\prod/g' "+giac::remove_extension(infile)+"_.tex";
giac::system_no_deprecation(cmd.c_str());
cmd=("pgiac "+outfile+" && pdflatex "+giac::remove_extension(outfile)+" && mv "+giac::remove_extension(outfile)+".pdf "+giac::remove_extension(infile)+".pdf");
COUT << cmd << endl;
......@@ -13,5 +13,6 @@ test-fixes.patch
# Debian only
dont-build-files-excluded.patch
dont-include-remote-scripts.patch
#dont-include-remote-scripts.patch
find-doc-files-at-buildtime.patch
d-workaround-hevea-bugs.patch
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment