The WAR install instructions are wrong

[apastuszak]

The WAR install instructions tell you to delete TOMCAT_HOME/work. If you do that, you break Tomcat, at least on Ubuntu Server 16.04 with Tomcat7.

Just an FYI, so nobody else spends a half-hour pulling their hair out like I did.

[skelleton]

You should delete the contents of the work folder, not the folder itself.