produces blank lines all over the dir file (when using Texinfo 4.8).
Attach a file by drag & drop or click to upload
