HTML-документ

      Сдаётся мне, что у этого html нужно поменять расширение на rar и затем извлечь файлы из архива. Вы знаете, как у файла поменять расширение?

Мышь - дура, у нее мозгов мало Поэтому она опреледяет "тип файла" просто по расширению (так называются буковки после последней точки). Если имя файла выглядит примерно так - pupkin.rar.html - надо стереть ".html" и останется pupkin.rar (или pupkin.pdf, или что-то еще), и тогда мышь скажет, что тип файла - архив rar (или картинка pdf, или что-то еще).

Я не знаю как менять расширение

ОМГ, вы никогда в жизни не переименовывали файл?.....
Нажимаете правой кнопкой мышки на файле, в появившемся меню выбираете пункт "переименовать". После этого имя файла превращается в мини-окошко текстового редактора, т.е. в нем можно писать/стирать.
Если имя файла похоже на такое - pupkin.rar.html - то стираете ".html" (это и называется "расширением" - это последние в имени файла точка и три-четыре буковки за ней). Остается pupkin.rar - т.е. расширение теперь ".rar", и открываться такой файл будет архиватором. Второе с конца расширение может быть и иным (.zip, .pdf, .tif и проч.), и открываться файл будет соответствующей программой.
Если же имя похоже на pupkin.html (т.е. расширение одно), то надо заменить "html" на "rar" (возможно, что надо будет и на какое-то другое поменять).

А ведь еще в первом своем сообщении я просил вас дать сам файл или хотя бы его полное имя. Давно бы уже разобрались, и мне не надо было бы перечислять варианты действий...

     Прежде чем менять расширение, нужно включить его отображение в именах файлов. Откройте любую папку в проводнике, далее "Сервис" - "Параметры папок" - "Вид" - снимаете галочку "Скрывать расширения для зарегистрированных типов файлов" - "Применить" - "ОК". Теперь можете менять расширение файла (символы, которые идут после последней точки в имени файла).

О мои седины! Я и забыл, что у людей может быть включена дурацкая функция скрытия расширений...

    Да, она по умолчанию в "Винде" включена.

Вадим, спаси Вас Господи! - всё включил , но как вычислить какое расширение файла?

     Читайте имя файла справа налево: те несколько символов (обычно от 2 до 5), которые расположены перед точкой, и есть расширение файла).

Я уже разобрался, спрашивал как вычислить на какое менять, но метод проб определённо подходит!