Lieber Hannes,
das könntest Du nur serverseitig erzwingen, indem Du ein serverseitiges Script die Ausgabe dieser *.c-Datei steuern lässt. Dieses Script kann dann einen Header senden, der dem Browser erklärt "hier kommt eine z.B. ausführbare Datei mit dem Namen '*.c'!". Damit wird dein Browser diese Datei speichern wollen.
Hast Du die Möglichkeit für eine serverseitige Scriptsprache? Nur mit HTML geht das nicht.
Liebe Grüße aus Ellwangen,
Felix Riesterer.