I use texi2pdf to generate pdf files from texinfo files using the command
texi2pdf myfile.texi
Am working on using a makefile for this and have written
name=06a-amcoh
texi=${name}.texi
pdf=${name}.pdf
all: ${pdf}
${pdf}: ${texi}
texi2pdf $<
clear:
rm -f ${pdf}
I could do with some help on the correct way to write the makefile and how to run it.