Automatically creating preknowledge file in Makefile.