Where to set the DOCTYPE?
You're in the correct place (html.tpl.php) to modify the doctype assuming you're using Drupal 7, thats the default theme implementation for altering the basic page structure (documentation). In Drupal 6, you're looking for the page.tpl.php file.