mirror of
https://github.com/Smaug123/KaTeX
synced 2025-10-05 19:28:39 +00:00
50479a950f
The OS/2 values in the generated fonts were incorrect, so this corrects them. To do this, I added some files to the khan/MathJax-dev repo, and updated the dockerfile to use the new repo. Test Plan: - View the test page with chrome and firefox on linux, chrome and safari on mac, and IE8 and IE9 on windows, and see that none of the characters are clipped. Auditors: alpert
36 lines
1.4 KiB
Docker
36 lines
1.4 KiB
Docker
FROM ubuntu:14.04
|
|
MAINTAINER xymostech <xymostech@gmail.com>
|
|
|
|
# Install things
|
|
RUN apt-get -qq update
|
|
RUN apt-get -qqy install git dvipng default-jre default-jdk texlive wget fontforge mftrace fonttools optipng advancecomp man-db build-essential unzip zlib1g-dev python-fontforge ruby || true
|
|
RUN gem install ttfunk --version 1.1.1
|
|
|
|
# Download yuicompressor
|
|
RUN mkdir /usr/share/yui-compressor/
|
|
RUN wget "https://github.com/yui/yuicompressor/releases/download/v2.4.8/yuicompressor-2.4.8.jar" -O /usr/share/yui-compressor/yui-compressor.jar
|
|
|
|
# Download batik-ttf2svg.jar
|
|
RUN wget "http://supergsego.com/apache/xmlgraphics/batik/batik-1.7.zip"
|
|
RUN unzip -qq batik-1.7.zip
|
|
RUN mv batik-1.7/batik-ttf2svg.jar /usr/share/java/
|
|
|
|
# Download and compile ttf2eof (note we add a patch to make it compile)
|
|
RUN wget "https://ttf2eot.googlecode.com/files/ttf2eot-0.0.2-2.tar.gz"
|
|
RUN tar -xzf ttf2eot-0.0.2-2.tar.gz
|
|
RUN sed -i "1s/^/#include <cstddef>/" ttf2eot-0.0.2-2/OpenTypeUtilities.h
|
|
RUN make -C ttf2eot-0.0.2-2/
|
|
RUN mv ttf2eot-0.0.2-2/ttf2eot /usr/bin/
|
|
|
|
# Download and compile sfnt2woff
|
|
RUN wget "http://people.mozilla.org/~jkew/woff/woff-code-latest.zip"
|
|
RUN unzip -d sfnt2woff woff-code-latest.zip
|
|
RUN make -C sfnt2woff
|
|
RUN mv sfnt2woff/sfnt2woff /usr/bin/
|
|
|
|
# Download and setup MathJax-dev
|
|
RUN git clone "https://github.com/khan/MathJax-dev.git"
|
|
RUN cp MathJax-dev/default.cfg MathJax-dev/custom.cfg
|
|
RUN make -C MathJax-dev custom.cfg.pl
|
|
|