Actually, this is what I've done, but don't want to do.
***
Your PPP server sysadmin/user support people should provide you with at
least two DNS IP numbers (only one is
necessary - but two gives some redundancy in the event of failure).
Your /etc/resolv.conf should look something like :-
domain your.isp.domain.name
nameserver 10.25.0.1
***
I want the system to figure out the DNS number without me manually
entering it anywhere. Internet Gateway tells me they don't have
to give the DNS number at all to Windows 95 users and there's no
problem.