Add a practracker-regen make target

This commit is contained in:
Nick Mathewson 2019-03-25 16:07:58 -04:00
parent c2643842a9
commit 2c8af79de5

View File

@ -352,6 +352,9 @@ if USEPYTHON
$(PYTHON) $(top_srcdir)/scripts/maint/practracker/practracker.py $(top_srcdir) $(PYTHON) $(top_srcdir)/scripts/maint/practracker/practracker.py $(top_srcdir)
endif endif
practracker-regen:
$(PYTHON) $(top_srcdir)/scripts/maint/practracker/practracker.py --regen $(top_srcdir)
check-docs: all check-docs: all
$(PERL) $(top_builddir)/scripts/maint/checkOptionDocs.pl $(PERL) $(top_builddir)/scripts/maint/checkOptionDocs.pl