// variable's value is defined in the  Makefile
extern const char* const html_directory;