[Eva] Distributes eva manual as eva-manual.pdf.

bin/build-src-distrib.sh

@@ -313,7 +313,7 @@ case "${STEP}" in
       echo " - [$TARGZ_FILENAME](downloads/$TARGZ_FILENAME)" >> $WIKI_PAGE
       echo "" >> $WIKI_PAGE
       echo "## Manuals" >> $WIKI_PAGE
-    for f in "user-manual" "acsl-implementation" "value-analysis" "plugin-development-guide" "rte-manual" "wp-manual" "metrics-manual" "aorai-manual"; do
+    for f in "user-manual" "acsl-implementation" "eva-manual" "plugin-development-guide" "rte-manual" "wp-manual" "metrics-manual" "aorai-manual"; do
         echo "- [$f](manuals/$f-${FRAMAC_VERSION_AND_CODENAME}.pdf)" >> $WIKI_PAGE
         run "cp $MANUALS_DIR/$f.pdf $GITHUB_WIKI/manuals/$f-${FRAMAC_VERSION_AND_CODENAME}.pdf"
         run "git -C $GITHUB_WIKI add manuals/$f-${FRAMAC_VERSION_AND_CODENAME}.pdf"

doc/Makefile

@@ -55,7 +55,7 @@ MANUALS=acsl
 #MANUALS that depend on the frama-c version
 VERSIONED_MANUALS=acsl-implementation aorai-manual rte-manual	\
 		  wp-manual metrics-manual user-manual		\
-		  plugin-development-guide value-analysis
+		  plugin-development-guide eva-manual
 
 FILES= $(addprefix manuals/, \
 	 $(addsuffix -$(VERSION).pdf, $(VERSIONED_MANUALS)) \

doc/developer/developer.bib

@@ -35,7 +35,7 @@
   title  = {{Frama-C}'s value analysis plug-in},
   year   = 2015,
   month  = feb,
-  note   = {\mbox{\url{http://frama-c.com/download/frama-c-value-analysis.pdf}}},
+  note   = {\mbox{\url{http://frama-c.com/download/frama-c-eva-manual.pdf}}},
 }
 
 @misc{slicing,

doc/rte/biblio.bib

@@ -21,7 +21,7 @@ howpublished={\url{http://manju.cs.berkeley.edu/cil/}}
   title = {Frama-C's value analysis plug-in},
   author={Pascal Cuoq and Boris Yakobowski and Virgile Prevosto},
   organization = {CEA List, Software Reliability Laboratory},
-  note = {\url{http://frama-c.com/download/frama-c-value-analysis.pdf}}
+  note = {\url{http://frama-c.com/download/frama-c-eva-manual.pdf}}
 }
 
 @MANUAL{framacwp,

doc/userman/userman.bib

@@ -12,7 +12,7 @@
   title  = {{Frama-C}'s value analysis plug-in},
   year   = 2015,
   month  = feb,
-  note   = {\mbox{\url{http://frama-c.cea.fr/download/value-analysis.pdf}}},
+  note   = {\mbox{\url{http://frama-c.cea.fr/download/eva-manual.pdf}}},
 }
 
 @manual{acsl,

doc/value/makefile

@@ -23,5 +23,5 @@ clean:
 	rm -f $(GENERATED)
 
 install:
-	rm -f ../manuals/value-analysis.pdf
-	cp main.pdf ../manuals/value-analysis.pdf
+	rm -f ../manuals/eva-manual.pdf
+	cp main.pdf ../manuals/eva-manual.pdf