Thank you very much!
I've been checking some font names, for example, this is from the Texinfo manual in the PDF format from the server:
$ pdffonts texinfo.pdf
name type encoding emb sub uni object ID ...
Search found 2 matches
- Mon Mar 14, 2016 6:03 pm
- Forum: Fonts & Character Sets
- Topic: GNU Texinfo font name
- Replies: 3
- Views: 4309
- Mon Mar 14, 2016 12:09 am
- Forum: Fonts & Character Sets
- Topic: GNU Texinfo font name
- Replies: 3
- Views: 4309
GNU Texinfo font name
Hi!
I just was wondering what is the name of the font used in the GNU Texinfo PDF files and also if I could use it for documents of my own.
Thanks!
I just was wondering what is the name of the font used in the GNU Texinfo PDF files and also if I could use it for documents of my own.
Thanks!
