The Mamluks, however, were excluded from it. They were ruthlessly pursued, proclamation made that any sheltering them would be put to death, and 800 thus discovered were beheaded.
The Mamluks were excluded from the pursuit, a proclamation was issued that anyone sheltering them would be executed, and 800 of them were beheaded.