From 2c4506437656ed89a6d2a73849185d6c7ce43175 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 28 May 2015 16:22:17 -0600 Subject: [PATCH] scribble/jfp: work around a collision with mathabx --- scribble-lib/scribble/jfp/lang.rkt | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/scribble-lib/scribble/jfp/lang.rkt b/scribble-lib/scribble/jfp/lang.rkt index ade07da8..3fa436f2 100644 --- a/scribble-lib/scribble/jfp/lang.rkt +++ b/scribble-lib/scribble/jfp/lang.rkt @@ -35,8 +35,10 @@ (define ((post-process) doc) (add-defaults doc (string->bytes/utf-8 - (format "\\documentclass{jfp1}\n~a\\usepackage{times}\n\\usepackage{qcourier}\n" - unicode-encoding-packages)) + (format "\\documentclass{jfp1}\n~a\\usepackage{times}\n\\usepackage{qcourier}\n~a" + unicode-encoding-packages + ;; Avoid a conflict with mathabx: + "\\let\\amalg\\relax\n")) (scribble-file "jfp/style.tex") (list cls-file) #f))