Вместо filename нужно вставить имя файла с текстом с форматом. Символ вводится в консоли.

#include
int main(void) {
    FILE *fin = fopen("filename", "rt");
    char chIn;
    scanf("%c", &chIn);
    int ans = 0;
    char ch;
    while ((ch = fgetc(fin)) != EOF) {
        if (ch == chIn) {
            ans++;
        }
    }
    printf("%d", ans);
    return 0;
}