emacsのドキュメントの件、自己解決しました
emacsチュートリアルの最後あたりにヒントありました

C-hの後に、v入力するとマクロ名聞いてきたので、入力するとそのマクロの説明が出てきました。
簡単でした！！

ただ私が知りたかった、verilogで始まるマクロ、数が多すぎて読む気おこらず
まとめてchips集にでもしたら良いのか