3 ms·

Have you installed the make-info (https://packages.debian.org/jessie/make-doc https://packages.debian.org/jessie/make-doc) package? It adds info documentation a

by flukus 8y ago

Have you installed the make-info (https://packages.debian.org/jessie/make-doc https://packages.debian.org/jessie/make-doc) package? It adds info documentation as well as pdf and html formats.

rlue 8y ago
Brilliant, didn't even realize it was a separate package. Thanks!