Hello, In Debian 9, the $ man pthread_mutex_init command results in: No manual entry for pthread_mutex_init.
Other pthread man pages (such as pthread_create, pthread_join, ...) are available. The "manpages-posix-dev" non-free package is available to install the missing man pages. Why are these pages separate from the others, and why are them not free? Best regards, Riccardo