In der Tat sind Make und (La)TeX Turing vollständig (siehe [0] und [1]). Habe zwar selbst noch keine TM in Make oder (La)TeX implementiert aber zumindest in LaTeX bereits das eine oder andere vor etwa 10 Jahren implementiert… Mein persönlicher Tipp: Lass es, denn Spaß geht anders :-D.

Achso zum Thema HTML Programmiersprache fand ich den Computerpile Beitrag dazu ganz cool [2] .

[0] Make
[1] LaTeX
[2] HTML