#!/bin/sh
# Launch help system.
IDL_DIR=$PWD
HELP_DIR=$IDL_DIR/help/dave_online_help
export IDL_DIR
$IDL_DIR/bin/bin.linux.x86/idl_assistant \
 	-profile help/dave_online_help/dave.adp \
 	-file help/dave_online_help/dave_home.html
