# HG changeset patch
# User wenzelm
# Date 1494448228 -7200
# Node ID 1fdb6ba9d32c655670365d0beee49622ae41e3f1
# Parent  3fa7ee46a4c8323fae9686ede5a43407a720515b
notes on gnuplot;

diff -r 3fa7ee46a4c8 -r 1fdb6ba9d32c Admin/build_log/README
--- a/Admin/build_log/README	Wed May 10 22:20:02 2017 +0200
+++ b/Admin/build_log/README	Wed May 10 22:30:28 2017 +0200
@@ -31,3 +31,21 @@
   ALTER USER isatest with encrypted password '***';
 
   $ createdb -E UTF8 -T template0 --locale=en_US.utf8 -U postgres -O isatest isatest
+
+
+Presentation
+============
+
+- gnuplot from original source, since Linux packages (like Gentoo)
+  often produce bad data interpolation
+
+  http://gnuplot.sourceforge.net/
+  https://sourceforge.net/projects/gnuplot/files/gnuplot/5.0.6/
+
+  $ cd gnuplot-5.0.6
+  $ ./configure
+  $ make
+
+  edit $ISABELLE_HOME_USER/etc/settings
+
+  ISABELLE_GNUPLOT=".../src/gnuplot"