From 2dee4815ff382919e3eeb8868a579c75648a4240 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 24 Nov 2008 10:45:13 +0000 Subject: [PATCH] fix some non tex symbols --- helm/software/matita/help/C/Makefile | 6 +++--- helm/software/matita/help/C/scripts/fix-symbols.sh | 4 ++++ 2 files changed, 7 insertions(+), 3 deletions(-) create mode 100755 helm/software/matita/help/C/scripts/fix-symbols.sh diff --git a/helm/software/matita/help/C/Makefile b/helm/software/matita/help/C/Makefile index 684d6fabf..37df4f3e4 100644 --- a/helm/software/matita/help/C/Makefile +++ b/helm/software/matita/help/C/Makefile @@ -28,11 +28,11 @@ pdf-stamp: $(patsubst %.xml,%.pdf,$(MAIN)) touch $@ %.pdf: %.xml - dblatex -tpdf $< + dblatex -rscripts/fix-symbols.sh -tpdf $< %.dvi: %.xml - dblatex -tdvi $< + dblatex -rscripts/fix-symbols.sh -tdvi $< %.ps: %.xml - dblatex -tps $< + dblatex -rscripts/fix-symbols.sh -tps $< install: install-html install-html: html-stamp pdf-stamp diff --git a/helm/software/matita/help/C/scripts/fix-symbols.sh b/helm/software/matita/help/C/scripts/fix-symbols.sh new file mode 100755 index 000000000..ed45fce9a --- /dev/null +++ b/helm/software/matita/help/C/scripts/fix-symbols.sh @@ -0,0 +1,4 @@ +#!/bin/sh + +sed -i 's/\\&\\#x225d;/:=/g' $1 +sed -i 's/\\&\\#x3a9;/\\ensuremath{\\Omega}/g' $1 -- 2.39.2