Minor update to manual.txt.
Minor update to manual.txt.

wenru/ibex,addrummond/ibex,addrummond/ibex,hlplab/hlpspr1,hlplab/hlpspr1,addrummond/ibex,wenru/ibex,wenru/ibex,hlplab/hlpspr1,wenru/ibex,addrummond/ibex