diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2013-04-24 09:23:58 -0400 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2013-04-24 09:23:58 -0400 |
| commit | 9e24b125bcad9d0e34aa4308b48849bc9ce31964 (patch) | |
| tree | 1d73ccbe7fc7d1c852ed6904ced9248428227b38 | |
| parent | 4ff74138a4b6e81c5e28b0f8ad23e3ce20466566 (diff) | |
| download | haskell-9e24b125bcad9d0e34aa4308b48849bc9ce31964.tar.gz | |
Update Makefile in docs/core-spec not to use latexmk
| -rw-r--r-- | docs/core-spec/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/core-spec/Makefile b/docs/core-spec/Makefile index 1a5b27cd75..9449a0e1af 100644 --- a/docs/core-spec/Makefile +++ b/docs/core-spec/Makefile @@ -4,7 +4,7 @@ OTT_OPTS = -tex_show_meta false TARGET = core-spec $(TARGET).pdf: $(TARGET).tex $(OTT_TEX) - latexmk -pdf $< + latex -output-format=pdf $< $(TARGET).tex: $(TARGET).mng $(OTT_FILES) ott $(OTT_OPTS) -tex_filter $< $@ $(OTT_FILES) |