diff --git a/changes-6.0.html b/changes-6.0.html
index be67a39b7..3161b5bc7 100644
--- a/changes-6.0.html
+++ b/changes-6.0.html
@@ -17,6 +17,7 @@
 
 <h2>Yap-6.0.7:</h2>
 <ul>
+<li> NEW: YAP_SetYAPFlag (request from Theo Mantadelis). </li>
 <li> NEW: support div/2 as per WG17. </li>
 <li> FIXED: restore from / file should just try that file. </li>
 <li> FIXED: bad things can happen to P when user code is called (obs
diff --git a/packages/ProbLog/Makefile.in b/packages/ProbLog/Makefile.in
index d5c119f38..b2db05f90 100644
--- a/packages/ProbLog/Makefile.in
+++ b/packages/ProbLog/Makefile.in
@@ -15,6 +15,7 @@ YAPLIBDIR=@libdir@/Yap
 # where YAP should look for architecture-independent Prolog libraries
 #
 SHAREDIR=$(ROOTDIR)/share
+DOCSDIR=$(SHAREDIR)/docs/Yap
 #
 #
 # You shouldn't need to change what follows.
@@ -24,6 +25,8 @@ INSTALL_DATA=@INSTALL_DATA@
 INSTALL_PROGRAM=@INSTALL_PROGRAM@
 srcdir=@srcdir@
 YAP_EXTRAS=@YAP_EXTRAS@ 
+PDFLATEX=pdflatex
+BIBTEX=bibtex
 
 PROGRAMS= \
 	$(srcdir)/problog.yap \
@@ -49,13 +52,14 @@ PROBLOG_PROGRAMS= \
 
 PROBLOG_EXAMPLES = \
 	$(srcdir)/problog_examples/graph.pl \
-	$(srcdir)/problog_examples/graph_tabled.pl \
+	$(srcdir)/p	roblog_examples/graph_tabled.pl \
 	$(srcdir)/problog_examples/learn_graph.pl \
 	$(srcdir)/problog_examples/office.pl \
 	$(srcdir)/problog_examples/viralmarketing.pl \
 	$(srcdir)/problog_examples/viralmarketing_tabled.pl
 
-MANUAL = $(srcdir)/problog.tex
+MANUAL_NAME = problog
+MANUAL = $(srcdir)/$(MANUAL_NAME)
 
 install: $(PROGRAMS) $(PROBLOG_PROGRAMS) $(PROBLOG_EXAMPLES)
 	mkdir -p $(DESTDIR)$(SHAREDIR)/Yap
@@ -66,6 +70,9 @@ install: $(PROGRAMS) $(PROBLOG_PROGRAMS) $(PROBLOG_EXAMPLES)
 	for p in $(PROBLOG_EXAMPLES); do $(INSTALL_DATA) $$p $(DESTDIR)$(SHAREDIR)/Yap/problog_examples; done
 
 pdf: $(MANUAL)
-	pdflatex $(MANUAL)
-	pdflatex $(MANUAL)
-	$(INSTALL_DATA) problog.pdf $(DESTDIR)$(SHAREDIR)/docs/Yap/problog.pdf
+	$(PDFLATEX) $(MANUAL)
+	#$(BIBTEX) $(MANUAL_NAME)
+	$(PDFLATEX) $(MANUAL)
+
+install_docs: pdf
+	$(INSTALL_DATA) problog.pdf $(DESTDIR)$(DOCSDIR)