Rename batch of files in Linux

Following awk script can be used to rename list of files.
Here, it will rename ".txt.pdf" files into ".txt" files.

for k in *.pdf; 
do mv $k `echo $k | sed 's/txt.pdf/txt/g'`; 
done