Replace tabs with spaces, and copy html doc files into build directory
Replace tabs with spaces, and copy html doc files into build directory

nathanielbaxter/libminizinc,nathanielbaxter/libminizinc,jjdekker/libminizinc,tias/libminizinc,jjdekker/libminizinc,nathanielbaxter/libminizinc,nathanielbaxter/libminizinc,jjdekker/libminizinc,tias/libminizinc,jjdekker/libminizinc