DNS server IP addresses aren't copied into /etc/resolv.conf on
establishing a connection.
Is the remote end actually supplying DNS server names? Is PEERDNS set properly
In answer to your question, no, I don't think the remote end /is/ supplying
DNS server names, which is why I entered the two IP addresses of my DNS servers
in rp3-config->edit->Advanced->First/Second DNS Server (optional).
I hadn't used linuxconf to setup the dialup connection first (which I suspect
might have worked), I just used rp3-config.
I eventually hacked the files manually, which got me working, but it would be
nice for newbies if rp3-config worked out-of-the-box.
This *should* be fixed in the latest Raw Hide build of initscripts. There was
some goofy logic in ifup-post that dealt with use of the DNS1 and DNS2 values
which rp3-config edits.