updating
Updated script. A frontend of noweb