chiark / gitweb /
ktype.seccure: Stop `seccure' from trying to open `/dev/tty'.
[distorted-keys] / keys.keeper-cards
index 825f6f57eb9cf30f7beaff976fd9096802f42860..01c1444357e7e24c8ada6fb17177384a06681438 100755 (executable)
@@ -101,7 +101,13 @@ cat >&3 <<'EOF'
 \documentclass[a4paper, landscape, 12pt]{article}
 \usepackage[utf8]{inputenc}
 \usepackage[T1]{fontenc}
+EOF
+if kpsewhich mdwfonts.sty >/dev/null; then
+  cat >&3 <<'EOF'
 \usepackage[palatino, helvetica, courier, maths = cmr]{mdwfonts}
+EOF
+fi
+cat >&3 <<'EOF'
 \usepackage{graphicx}
 
 %% Report errors with enough context that we can debug them.