diff --git a/doc/userman/.gitignore b/doc/userman/.gitignore
index f0de8a3d55fd37efe5d3b79a83031b8ab3c1a1e3..fa43070da4f9b9e7ccbf8270d0fab3622323a8d8 100644
--- a/doc/userman/.gitignore
+++ b/doc/userman/.gitignore
@@ -1 +1,9 @@
 main.pdf
+*.aux
+*.bbl
+*.blg
+*.ilg
+*.ind
+*.log
+*.out
+*.toc
diff --git a/doc/userman/Makefile b/doc/userman/Makefile
index 21c9edc7edc46b034c993e233b48a54072918532..7a4612fbc61de71fc0681ae07b829ecaaf1395ef 100644
--- a/doc/userman/Makefile
+++ b/doc/userman/Makefile
@@ -1,43 +1,33 @@
 MAIN=main
 
 C_CODE=$(wildcard examples/*.[ci])
-VERSION_FILE=../../../../../VERSION
-ifeq ("$(wildcard $(VERSION_FILE))", "")
-VERSION_FILE=../../VERSION
 FC_VERSION+=Potassium+
-else
-#internal mode
-FC_VERSION=$(shell cat $(VERSION_FILE))
-endif
-FCLANG_VERSION= $(shell cat $(VERSION_FILE))
 
-DEPS_MODERN=fclangversion.tex biblio.bib macros.tex \
-	introduction.tex \
+DEPS_MODERN=biblio.bib \
+	changes.tex \
     description.tex \
+	grammar.tex \
+	introduction.tex \
 	limitations.tex \
-	changes.tex \
+	macros.tex \
+	preprocessing.tex \
+	fclangversion.tex \
 	$(C_CODE) \
-	$(VERSION_FILE)
+	Makefile
 
 default: main.pdf
 
-main.pdf: $(DEPS_MODERN)
+main.pdf: main.tex $(DEPS_MODERN)
 
-EACSL_DIR=../..
+FCLANG_DIR=../..
 DISTRIB_DIR=$(HOME)/frama-c/doc/www/distrib
 install:
-	mkdir -p $(EACSL_DIR)/doc/manuals/
-	cp -f main.pdf $(EACSL_DIR)/doc/manuals/e-acsl-manual.pdf
-#	cp -f main.pdf \
-	  $(DISTRIB_DIR)/download/e-acsl/e-acsl-manual-$(EACSL_VERSION).pdf
+	mkdir -p $(FCLANG_DIR)/doc/manuals/
+	cp -f main.pdf $(FCLANG_DIR)/doc/manuals/fclang-manual.pdf
 
-include $(EACSL_DIR)/doc/support/MakeLaTeXModern
+include $(FCLANG_DIR)/doc/support/MakeLaTeXModern
 
-fclangversion.tex: Makefile
-	rm -f $@
-	printf '\\newcommand{\\fclangversion}{$(FCLANG_VERSION)\\xspace}\n' > $@
-	printf '\\newcommand{\\fcversion}{$(FC_VERSION)\\xspace}\n' >> $@
-	chmod a-w $@
+version.tex: Makefile
 
 %.1: %.mp
 	mpost -interaction=batchmode $<
@@ -69,7 +59,7 @@ fclangversion.tex: Makefile
 %.ml: %.mll
 	ocamllex $<
 
-%.pdf: %.tex Makefile $(DEPS_MODERN)
+%.pdf: %.tex
 	pdflatex $*
 	makeindex $*
 	bibtex $*
@@ -94,4 +84,3 @@ clean:
 		*.haux  *.hbbl *.htoc \
                 *.cb* *.cm? *.bbl *.blg *.idx *.ind *.ilg \
 		transf trans.ml pp.ml pp
-	rm -f fclangversion.tex
diff --git a/doc/userman/biblio.bib b/doc/userman/biblio.bib
index 3a444b97790c71379b9e33a1577d3fcb2aadd2d8..5a14fc9815176c89cd819951f675387ad324741f 100644
--- a/doc/userman/biblio.bib
+++ b/doc/userman/biblio.bib
@@ -7,6 +7,12 @@
   note   = {\url{http://frama-c.cea.fr/download/user-manual.pdf}}
 }
 
+@manual{acslpp,
+  title  = {ACSL++: ANSI/ISO C++ Specification Language},
+  author = {David R. Cok}
+}
+%% TODO - add a url to the above
+
 @manual{plugin-dev-guide,
   author = {Julien Signoles and Loïc Correnson and Matthieu Lemerre and 
             Virgile Prevosto},
diff --git a/doc/userman/version.tex b/doc/userman/version.tex
deleted file mode 100644
index 67275e01473cf88945e1ea40a0ff787bfb06c503..0000000000000000000000000000000000000000
--- a/doc/userman/version.tex
+++ /dev/null
@@ -1,2 +0,0 @@
-\newcommand{\fclangversion}{Chlorine+\xspace}
-\newcommand{\fcversion}{Potassium+\xspace}