wget-log

--16:19:29--  http://texes.as.utexas.edu:80/
           => `texes.as.utexas.edu/index.html'
Connecting to texes.as.utexas.edu:80... connected!
HTTP request sent, awaiting response... 200 OK
Length: 1,114 [text/html]

    0K -> .                                                      [100%]

16:19:29 (23.15 KB/s) - `texes.as.utexas.edu/index.html' saved [1114/1114]

Loading robots.txt; please ignore errors.
--16:19:29--  http://texes.as.utexas.edu:80/robots.txt
           => `texes.as.utexas.edu/robots.txt'
Connecting to texes.as.utexas.edu:80... connected!
HTTP request sent, awaiting response... 404 Not Found
16:19:29 ERROR 404: Not Found.

--16:19:29--  http://texes.as.utexas.edu:80/background.jpg
           => `texes.as.utexas.edu/background.jpg'
Connecting to texes.as.utexas.edu:80... connected!
HTTP request sent, awaiting response... 404 Not Found
16:19:29 ERROR 404: Not Found.

--16:19:29--  http://texes.as.utexas.edu:80/Devilsoullogo.jpg
           => `texes.as.utexas.edu/Devilsoullogo.jpg'
Connecting to texes.as.utexas.edu:80... connected!
HTTP request sent, awaiting response... 200 OK
Length: 25,757 [image/jpeg]

    0K -> .......... .......... .....                            [100%]

16:19:30 (30.90 KB/s) - `texes.as.utexas.edu/Devilsoullogo.jpg' saved [25757/25757]

Converting texes.as.utexas.edu/index.html... done.

FINISHED --16:19:30--
Downloaded: 26,871 bytes in 2 files
Converting texes.as.utexas.edu/index.html... done.