file(MAKE_DIRECTORY ${OUTPUT_DIR}/programs)
file(COPY ${SOURCE_HTML_DIR}/header.html.in DESTINATION .)
file(COPY ${SOURCE_HTML_DIR}/footer.html DESTINATION .)
-file(COPY ${SOURCE_HTML_DIR}/links.dat DESTINATION .)
# This is generated by gmx help -export html
set(HEADER_FILE header.html)