diagrams/latex2pdf/defontify.sh
author Scott Morrison <scott@tqft.net>
Thu, 03 Jun 2010 21:16:36 -0700
changeset 336 7a5a73ec8961
parent 77 071ec509ec4a
permissions -rwxr-xr-x
replacing axioms with lemmas in the module section; still out of sync with the ncat axioms
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
77
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 27
diff changeset
     1
latex defontify
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 27
diff changeset
     2
dvips -R0 defontify
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 27
diff changeset
     3
ps2pdf defontify.ps
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 27
diff changeset
     4
gs -r9600 -sDEVICE=pswrite -dNOCACHE -sOutputFile=nofonts.ps -q -dbatch -dNOPAUSE defontify.pdf -c quit