diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-07-15 01:16:31 +0100 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-07-15 01:16:31 +0100 |
commit | 9901c3b2db0a3f85105489faa860fc27227ad4ac (patch) | |
tree | cc14f042f113c4356042e3d0fcefabf46bfd6617 /.file-metadata | |
parent | e83270cc0c9c17951669874bcfb5284301272ede (diff) |
Minor corrections in configure and high-level
Configure script: when `texlive-ready-tlmgr' is not created, it is similar
to not having installed TeXLive. A check was added so in this scenario the
`./configure' script doesn't crash.
high-level.mk: `cairo' and `pixman' are now installed in parallel and with
`V=1' (so the full compilation and linking command is printed).
Diffstat (limited to '.file-metadata')
-rw-r--r-- | .file-metadata | bin | 6106 -> 6179 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/.file-metadata b/.file-metadata Binary files differindex 587ad74..c5db26b 100644 --- a/.file-metadata +++ b/.file-metadata |