Remove an unused variable.

042e4aad · POTTIER Francois · 00d491af · 042e4aad
Commit 042e4aad authored Feb 05, 2020 by POTTIER Francois
Hide whitespace changes
Inline Side-by-side

Showing with 0 additions and 1 deletion

Makefile Makefile +0 -1

No files found.
--- a/Makefile
+++ b/Makefile
@@ -349,7 +349,6 @@ undo:

 RSYNC   := scp -p -C
 TARGET  := yquem.inria.fr:public_html/menhir/
-PAGE    := /home/fpottier/dev/page

 # This assumes that [make release] has been run.