echo "$(LINECOMMENT) WARNING WARNING WARNING" >> $(OUTFILE)
echo "$(LINECOMMENT) do not edit! this is $(OUTFILE), generated from $(INFILE)" >> $(OUTFILE)
cat $(INFILE) >> $(OUTFILE)
echo "$(LINECOMMENT) WARNING WARNING WARNING" >> $(OUTFILE)
echo "$(LINECOMMENT) do not edit! this is $(OUTFILE), generated from $(INFILE)" >> $(OUTFILE)
cat $(INFILE) >> $(OUTFILE)