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