From 59a65e7f8867df587762f77d8ecce9259c068aec Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Wed, 8 Oct 2014 21:46:58 +0200
Subject: [PATCH 1/1] Fix Makefiles.

---
 Makefile | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index 0d15097..0bf6fd3 100644
--- a/Makefile
+++ b/Makefile
@@ -7,8 +7,10 @@ EXAMPLES = Hello.java Exemple1.java Exemple2.java Exemple3.java
 
 EXAMPLES_CLASS = $(EXAMPLES:%.java=%.class)
 
-all:
+all: html/index.html
 	$(MAKE) -f ../Makefile.generic $(EXAMPLES_CLASS)
+
+html/index.html: $(SRC)
 	$(RM) -r html
 	javadoc -author -version -notree -nodeprecated -nohelp \
 		-encoding utf-8 -docencoding utf-8 -charset utf-8 \
@@ -21,8 +23,7 @@ clean:
 
 realclean: clean
 
-install: all
-	$(RM) -r $(DEST)
+install: html/index.html
 	$(INSTALL) -C -m 755 -d $(DEST) $(DEST)/resources
 	$(INSTALL) -C -m 644 $(SRC) $(EXAMPLES) $(DEST)
 	$(INSTALL) -C -m 644 html/resources/* $(DEST)/resources
-- 
2.20.1