5% of district devpt budget to be reservedfor govt school infra