Index: build/doxygen.sh
===================================================================
diff -u -r2a643db5c0c2ad5668252223010c81aa3e5f18bb -r3590c640a289d4756560e2cdb0c5d41709bc46a2
--- build/doxygen.sh	(.../doxygen.sh)	(revision 2a643db5c0c2ad5668252223010c81aa3e5f18bb)
+++ build/doxygen.sh	(.../doxygen.sh)	(revision 3590c640a289d4756560e2cdb0c5d41709bc46a2)
@@ -1,4 +1,4 @@
-#definitions
+#!/bin/bash
 
 #Setting up server folder
 if [[ "$1" = "" ]]; then