#!/bin/bash
../tools/tags $(cat ../tools/tags.files) | grep -v "^tab:" | grep -v "^defns" > tags.txt
