It depends a bit on what kind of HTML (and what kind of HTML pasting) you have in mind.
When you copy from Google Docs, public.html is one of the formats in the clipboard, and if you wanted to simply paste that as literal HTML tagged markup, you could do something like this:
Paste any HTML component of clipboard as HTML code.kmmacros (21.7 KB)
but Google Docs HTML has a lot of detail which you probably don't want, and it sounds as if literal HTML code may not be quite what you are after ?