In article <kreonet.re.kr>,
"Y. J. Chun" <com_SPAM> wrote:
It is most certainly not normal. However, both printf and getopt are
also shell commands, meaning if you type 'man printf' or 'man getopt',
you'll get the man page for the shell command. Are you typing 'man 3
printf' and 'man 3 getopt'? If you are and it doesn't work, then
something is broken.