Create manual/node7.html?

There is no page named 'manual/node7.html'. You can: