cp PDF/* ../old/PDF;

fetch:

	@rm -rf html2 Manual.pdf Developer.pdf

	@curl -s -o Manual.pdf http://lammps.sandia.gov/doc/Manual.pdf

	@curl -s -o Developer.pdf http://lammps.sandia.gov/doc/Developer.pdf

	@rm -rf html_www Manual_www.pdf Developer_www.pdf

	@curl -s -o Manual_www.pdf http://lammps.sandia.gov/doc/Manual.pdf

	@curl -s -o Developer_www.pdf http://lammps.sandia.gov/doc/Developer.pdf

#	@curl -s -o lammps-doc.tar.gz http://lammps.sandia.gov/tars/lammps-doc.tar.gz

#	@tar xzf lammps-doc.tar.gz

#	@rm -f lammps-doc.tar.gz