On 5/4/06, <b class="gmail_sendername">Wookey</b> <<a href="mailto:wookey@aleph1.co.uk">wookey@aleph1.co.uk</a>> wrote:<div><span class="gmail_quote"></span><br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
It must be possible to have an external symbols library. I know you built<br>everything in to avoid people having problems with paths, but it is a<br>horrible hack. At least for the debian version I would really like to move
<br>the metpost and tex stuff back into the places it should be, then I hope<br>adding new symbols would be something that could be by users.<br></blockquote></div><br>--use-extern-libs command line option will do it<br><br>
m.<br><br>