fix build of usermanual

Change-Id: Ibbe52ee595d13292ac2f2ef2b3477263894ed75c
6 files changed