Merge branch 'master' into next

NEWS

-New in spot 2.6.1.dev (not yet released)
+New in spot 2.6.2.dev (not yet released)
 
   Command-line tools:
 
@@ -66,6 +66,32 @@ New in spot 2.6.1.dev (not yet released)
     would incorrectly copy the "universal" property of the input
     automaton, causing print_hoa() to fail.
 
+New in spot 2.6.2 (2018-09-28)
+
+  Build:
+
+  - We no longer distribute the Python-based CGI script + javascript
+    code for the online translator.  Its replacement has its own
+    repository: https://gitlab.lrde.epita.fr/spot/spot-web-app/
+
+  Library:
+
+  - When states are highlighted with more than 8 colors, print_dot()
+    will add some extra markers to help distinguishing the colors.
+    This helps with the fact that colors 8-15 are lighter versions of
+    colors 0-7, and that higher color numbers cycle into this 16-color
+    palette.
+
+  Bugs fixed:
+
+  - exclusive_ap::constrain() (called by autfilt --exclusive-ap=...)
+    would incorrectly copy the "universal" property of the input
+    automaton, causing print_hoa() to fail.
+
+  - configure --disable-doxygen would actually enable it.
+
+  - Fix several warnings emited by the development version of GCC.
+
 New in spot 2.6.1  (2018-08-04)
 
   Command-line tools:

configure.ac

@@ -21,7 +21,7 @@
 # along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
 AC_PREREQ([2.61])
-AC_INIT([spot], [2.6.1.dev], [spot@lrde.epita.fr])
+AC_INIT([spot], [2.6.2.dev], [spot@lrde.epita.fr])
 AC_CONFIG_AUX_DIR([tools])
 AC_CONFIG_MACRO_DIR([m4])
 AM_INIT_AUTOMAKE([1.11 gnu tar-ustar color-tests parallel-tests])

doc/org/index.org

@@ -49,8 +49,8 @@ The latest version is *{{{LASTRELEASE}}}* and was released on
 
 * Try Spot On-line
 
-- [[http://spot.lrde.epita.fr/trans.html][Our on-line translator]] provides a convenient way to translate LTL or
-  PSL formulas into automata.
+- [[https://spot.lrde.epita.fr/app/][Our on-line translator]] provides a convenient way to translate LTL or
+  PSL formulas into automata, or to study/compare formulas.
 - [[http://spot-sandbox.lrde.epita.fr/][spot-sandbox]] is a Jupyter notebook with a complete installation of
   Spot that allows you to try the [[file:tools.org][command-line tools]] (using a shell
   interface) as well as the Python bindings (in an IPython notebook).

doc/org/setup.org

 #+OPTIONS: H:2 num:nil toc:t html-postamble:nil
 #+EMAIL: spot@lrde.epita.fr
 #+HTML_LINK_HOME: index.html
-#+MACRO: SPOTVERSION 2.6.1
-#+MACRO: LASTRELEASE 2.6.1
-#+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-2.6.1.tar.gz][=spot-2.6.1.tar.gz=]]
-#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-2-6-1/NEWS][summary of the changes]]
-#+MACRO: LASTDATE 2018-08-04
+#+MACRO: SPOTVERSION 2.6.2
+#+MACRO: LASTRELEASE 2.6.2
+#+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-2.6.2.tar.gz][=spot-2.6.2.tar.gz=]]
+#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-2-6-2/NEWS][summary of the changes]]
+#+MACRO: LASTDATE 2018-09-28
 
 #+ATTR_HTML: :id spotlogo
 [[file:spot2.svg]]