Anyway we have binaries for win32 and linux which uses the same .pool
Yay, thanks!
- xdvi.bin is now xdvi-xaw.bin (actually not statically linked with xaw;
I can make it by hand if needed, but should I use libXaw.so.7
or try libXaw.so.6?)
I think statically linking with Xaw.7 would be fine.