ora vado a nanna.

per ricercare i tuoi documenti, in questo caso potresti fare:
$ rpm -ql mysql-XXX | grep -i docs
ti verrà restituita la posizione in cui è stata salvata la documentazione di mysql.

notte. ciao.