Basta dirlo prima che usi Linux, no ? Così si evitano perdite di tempo in post e post ...
Comunque, puoi risolvere tutto nella for ... ma con un minimo di impegno ci arrivavi da solo ...
Non so perché studi il C ma risolvere da solo questi problemini è fondamentale
int nc = strlen(s)-1, j=0;
for(i=nc;i>=0;i--)
{
printf("%c",s[i]);
c[j++]=s[i];
}
c[j]='\0';
oppure
int nc = strlen(s)-1, j=0;
for(i=nc;i>=0;i--)
c[j++]=s[i];
c[j]='\0';
printf("%s", c);