#include "xfont16.c"

// Doubles the xfont16 font for a bigger output of font (xfont48)
// By Zoltan Kovacs <kovzol@particio.com>, 2006-04-25

// Compile it with "gcc -o font23 font23.c" and then run it with
// "./font23 > xfont48.c; indent xfont48.c".

main()
{
    int a, b, i, j, k;
    printf("#include <config.h>\nCONST unsigned char xfont48[] = {\n");

    for (i = 0; i < 256; ++i)	// 256 characters
    {
	for (j = 0; j < 16; ++j)	// 16 lines vertically
	{
	    a = xfont16[i * 16 + j];	// 8 bits of graphics read
	    b = 0;		// this will be the output
	    for (k = 0; k < 8; ++k) {
		b /= 4;
		if (a % 2 == 1)	// if the most right bit is set
		    b += 49152;	// the the output will be also set, twice
		a /= 2;
	    }
	    printf("0x%x, 0x%x, 0x%x, 0x%x, 0x%x, 0x%x",
		   (b / 256), (b % 256), (b / 256),
		   (b % 256), (b / 256), (b % 256));
	    if (!(i == 255 && j == 15))
		printf(", ");
	}			// end of character
	printf("\n");
    }
    printf("};\n");

}