Tool categories

[craigsapp]

The main page for the tools now has a list of the command names and brief descriptions of the tool:

https://www2.humdrum.org/tool

This list is generated from the file:

https://github.com/humdrum-tools/newdoc/blob/master/_data/tools.yml

For each tool, there is an entry like:

        - name: "assemble"
          description: "combine parts in two or more Humdrum files"
          tags: 
                - "Humdrum Toolkit"
                - "data processing"

The tags entries are lists of categories that each tool belongs to. These tags are used to create the category selection list on the tools page:

@shanahdt should go through the list of commands adding additional tags as necessary.

@craigsapp will add Humdrum Extras tools to the list, as well as tools available as VHV filters.

[craigsapp]

Note: when editing the file:

https://github.com/humdrum-tools/newdoc/blob/master/_data/tools.yml

You will likely need to restart the ./.serve command as described in the README for the website to have the updates display properly on the local web server.

Occasionally this will not be enough to update the tool list on the local website, and if that seems to be the case, then stop the .serve command (with control-c), then remove the automatically generated website files in _site with the command:

rm -rf _site

(in the base directory of the website repository).