Filename: ///usr/share//////man//man3///pthread_mutexattr_setrobust_np.3.gz

./Ninja\.