-Look for files named debian/package.name.ppp.ip-* and install them as
-etc/ppp/ip-*/name, instead of using the usual files and installing them
+Look for files named F<debian/package.name.ppp.ip-*> and install them as
+F<etc/ppp/ip-*/name>, instead of using the usual files and installing them