<?xml version="1.0" encoding="UTF-8"?>
<project
  xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd"
  xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
  <modelVersion>4.0.0</modelVersion>
  <parent>
    <artifactId>parent</artifactId>
    <groupId>tlatoolbox</groupId>
    <version>0.0.1-SNAPSHOT</version>
    <relativePath>../pom.xml</relativePath>
  </parent>
  <groupId>tlatoolbox</groupId>
  <artifactId>org.lamport.tla.toolbox.doc</artifactId>
  <version>1.5.4-SNAPSHOT</version>
  <packaging>eclipse-plugin</packaging>
  <properties>
      <!-- Do not include non-code project in Sonar reporting. -->
      <sonar.skip>true</sonar.skip>
  </properties>
</project>

<?xml version="1.0" encoding="UTF-8"?>
<project
  xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd"
  xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
  <modelVersion>4.0.0</modelVersion>
  <parent>
    <artifactId>parent</artifactId>
    <groupId>tlatoolbox</groupId>
    <version>0.0.1-SNAPSHOT</version>
    <relativePath>../pom.xml</relativePath>
  </parent>
  <groupId>tlatoolbox</groupId>
  <artifactId>org.lamport.tla.toolbox.doc</artifactId>
  <version>1.6.1-SNAPSHOT</version>
  <packaging>eclipse-plugin</packaging>
  <properties>
      <!-- Do not include non-code project in Sonar reporting. -->
      <sonar.skip>true</sonar.skip>
  </properties>
</project>

Make sure the help index is regenerated for existing installs.
Make sure the help index is regenerated for existing installs.

https://stackoverflow.com/a/12033859/6291195

6e23e1f83f6444f305c5a6a94e97a1824f91885c

[Documentation][Bug][Toolbox]