doc+run: use hwaf-20130208, mana-20130208