all:
	emacs -batch -l pvs-byte-compile.el

links:
	ln -s ../emacs-src/*el ../emacs-src/ilisp/*el .

