Add source.c and fix intdex.html