> another. Currently we have got as far as trying to link pdftexini.o, > pdftex0.o, ... only to find that they need files like config.o. Presumably > this should be from compiling web2c/pdftexdir/config.c, which does not > happen. Hm... What's the exact error message / make output in the end? Thomas