--- pdftex-t.tex.orig	2016-07-06 13:34:07.018232240 +0200
+++ pdftex-t.tex	2016-07-06 13:57:45.939143342 +0200
@@ -1623,6 +1623,10 @@ field may be omitted if you are sure tha
 correct built||in encoding. In general this option is highly recommended,
 and it is {\em required} when subsetting a TrueType font.
 
+The encoding file can be specified also for bitmap PK fonts. In this case
+it assigns glyph names from encoding vector which can be used for
+\type{\pdfgentounicode} primitive.
+
 \stopdescription
 
 \startdescription {fontfile}