stripFilename      48 lib/os.h       char* stripFilename(const char*filename, const char*newext);
stripFilename     226 src/as3compile.c 	outputname = stripFilename(filename, ".swf");
stripFilename     203 src/pdf2pdf.c  	    outputname = stripFilename(filename, ".print.pdf");
stripFilename     675 src/pdf2swf.c                  outputname = stripFilename(filename, ".swf");