Fix esdoc.sh
Fix esdoc.sh

michpetrov/hal.next,hal/hal.next,hpehl/hal.next,hpehl/hal.next,michpetrov/hal.next,hal/hal.next,hpehl/hal.next,michpetrov/hal.next,hpehl/hal.next,michpetrov/hal.next,hal/hal.next,hal/hal.next