<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">Kirill Balunov wrote:<br>
<br>
</div>
<blockquote type="cite" cite="mid:CABwCVQB-XYXgPWYhkHutoqiYqEkGgXuO=MVfUhJZGZZuAU-=3g@mail.gmail.com">
<div dir="ltr">
<div dir="ltr">
<div><span class="gmail-tlid-translation gmail-translation" lang="en"><span title="">Hmm, thanks again.</span>
<span title="" class="gmail-">It is clear that everything is not easy with this option.</span>
<span title="" class="gmail-">Then what do you think about the additional option <span style="font-family:courier
new,monospace">
`-input-directory=</span>` that will also be as good as <span class="gmail-m_4529859921458602200gmail-tlid-translation
gmail-m_4529859921458602200gmail-translation" lang="en">
<span title="" class="gmail-m_4529859921458602200gmail-"><span class="gmail-m_4529859921458602200gmail-tlid-translation
gmail-m_4529859921458602200gmail-translation" lang="en"><span title="" class="gmail-m_4529859921458602200gmail-"><span class="gmail-m_4529859921458602200gmail-tlid-translation
gmail-m_4529859921458602200gmail-translation" lang="en"><span title=""><span class="gmail-m_4529859921458602200gmail-tlid-translation
gmail-m_4529859921458602200gmail-translation" lang="en"><span title="" class="gmail-m_4529859921458602200gmail-"><span style="font-family:courier
new,monospace"><span class="gmail-m_4529859921458602200gmail-tlid-translation
gmail-m_4529859921458602200gmail-translation" lang="en"><span title="" class="gmail-m_4529859921458602200gmail-"><span class="gmail-m_4529859921458602200gmail-tlid-translation
gmail-m_4529859921458602200gmail-translation" lang="en"><span title="" class="gmail-m_4529859921458602200gmail-"><span class="gmail-m_4529859921458602200gmail-tlid-translation
gmail-m_4529859921458602200gmail-translation" lang="en"><span title=""><span class="gmail-m_4529859921458602200gmail-tlid-translation
gmail-m_4529859921458602200gmail-translation" lang="en"><span title="" class="gmail-m_4529859921458602200gmail-">`-output-directory=`<span style="font-family:arial,sans-serif">?
Or do you think this is an overkill for this?</span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span><br>
</div>
</div>
</div>
</blockquote>
<br>
It seems a very logical extension to me, but whether our group of TeX implementors would be in favour (or willing to invest the necessary time) is moot.<br>
Philip Taylor<br>
</body>
</html>