diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2009-06-15 16:01:09 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2009-06-15 16:01:09 +0000 |
commit | 8f81c407bef49a7501926f54011055a2a70d0413 (patch) | |
tree | b54c595e10b5c7e2cad815e9e4f0d5b67529395f /Build/source/texk/web2c/mf.ch | |
parent | d7f57509ce0c5b91ed9abb642f8263fe33178ff4 (diff) |
handling of configure options for texk/web2c
--disable-mf implies --without-mf-x-toolkit and --without-x
git-svn-id: svn://tug.org/texlive/trunk@13767 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/mf.ch')
0 files changed, 0 insertions, 0 deletions