generate_condensed.c

#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
#include <string.h>
#include <strings.h>
#include <ctype.h>

FILE* rp;
FILE* wp;

char Line[60000];

int skip(const char *text)
{
   size_t len;

   len = strlen(text);
   return (!strncmp(Line,text,len));
}

int main(int argc, char* argv[])
{
  rp = fopen("appendix-basic65-indexed.tex", "r");
  if (!rp) {
    fprintf(stderr, "*** Could not open appendix-basic65-indexed.tex\n");
    exit(1);
  }

  wp = fopen("appendix-basic65-condensed.tex", "w");
  if (!wp) {
    fprintf(stderr, "*** Could not open appendix-basic65-condensed.tex\n");
    exit(1);
  }

  while (!feof(rp)) {
    fgets(Line, sizeof(Line), rp);
    if (skip("\\newpage"))
      continue;
    if (skip("\\item [Token:"))
      continue;
    if (skip("\\input{appendix-keywords}"))
      continue;
    fputs(Line, wp);
  }

  return 0;
}