diff -r 1467d182cfe3 -r c357c4e69b9e INSTALL
--- a/INSTALL	Thu Dec 29 15:12:25 2022 +0100
+++ b/INSTALL	Fri Dec 30 13:21:09 2022 +0100
@@ -26,10 +26,16 @@
 the lightpit_app user which has less privileges to create the data source and
 leave the lightpit_dbo user for the database operator.
 
-4. Deploy the WAR file of lightpit
+4. Build and Deploy the WAR file of lightpit
 
-This is the most straight forward step. Just deploy the WAR file as you usually
-do in your application server.
+Build the WAR file with gradle. If your application server already provides
+the necessary runtime libraries for JSTL and PostgreSQL, leave the variable
+libsAreProvided = true during the build. Otherwise, set this variable to false
+and the libraries will be included in the WAR file. But keep in mind that some
+servlet containers, like Tomcat, are not so happy about this when hot redeploy-
+ments are performed. If you experience ClassDefNotFound errors after a hot
+redeployment, you should either provide the libs in your container or always
+restart the entire container after a redeployment.
 
 5. Configuring a web server and authentication