I installed tcl-doc. Prior to installation "man tcl" gave nothing. Now it gives a page. 

When I do 
"dpkg -L tcl-doc" I get

```
/.  
/usr  
/usr/share  
/usr/share/doc  
/usr/share/doc/tcl-doc 
/usr/share/doc/tcl-doc/tcltk-policy.html 
/usr/share/doc/tcl-doc/tcltk-policy.pdf 
/usr/share/doc/tcl-doc/README.Debian 
/usr/share/doc/tcl-doc/copyright 
/usr/share/doc/tcl-doc/tcltk-policy.txt.gz 
/usr/share/doc/tcl-doc/changelog.Debian.gz

```

I am wondering what the source of the output of the command "man tcl" is? Is it one of the above files, and if not, why isn't it displayed in the above output?