diff -Naur fonts-old/fonts.dir fonts/fonts.dir
--- fonts-old/fonts.dir	Tue Jan 25 21:23:57 2000
+++ fonts/fonts.dir	Tue Jan 25 21:25:34 2000
@@ -55,10 +55,10 @@
 p052004l.pfa    -AbiSource-Palladio-bold-r-normal--0-0-0-0-p-0-iso8859-1
 p052023l.pfa    -AbiSource-Palladio-regular-i-normal--0-0-0-0-p-0-iso8859-1
 p052024l.pfa    -AbiSource-Palladio-bold-i-normal--0-0-0-0-p-0-iso8859-1
-s050000l.pfa    -AbiSource-Standard Symbols-regular-r-normal--0-0-0-0-p-0-AbiSource-fontspecific
-s050000l.pfa    -AbiSource-Standard Symbols-bold-r-normal--0-0-0-0-p-0-AbiSource-fontspecific
-s050000l.pfa    -AbiSource-Standard Symbols-regular-i-normal--0-0-0-0-p-0-AbiSource-fontspecific
-s050000l.pfa    -AbiSource-Standard Symbols-bold-i-normal--0-0-0-0-p-0-AbiSource-fontspecific
+s050000l.pfa    -AbiSource-Standard Symbols-regular-r-normal--0-0-0-0-p-0-adobe-fontspecific
+s050000l.pfa    -AbiSource-Standard Symbols-bold-r-normal--0-0-0-0-p-0-adobe-fontspecific
+s050000l.pfa    -AbiSource-Standard Symbols-regular-i-normal--0-0-0-0-p-0-adobe-fontspecific
+s050000l.pfa    -AbiSource-Standard Symbols-bold-i-normal--0-0-0-0-p-0-adobe-fontspecific
 n021003l.pfa    -AbiSource-Times New Roman-regular-r-normal--0-0-0-0-p-0-iso8859-1
 n021004l.pfa    -AbiSource-Times New Roman-bold-r-normal-medium-0-0-0-0-p-0-iso8859-1
 n021023l.pfa    -AbiSource-Times New Roman-regular-i-normal--0-0-0-0-p-0-iso8859-1