diff options
| author | Nick Mathewson <nickm@torproject.org> | 2019-03-25 16:07:58 -0400 |
|---|---|---|
| committer | Nick Mathewson <nickm@torproject.org> | 2019-03-25 16:09:11 -0400 |
| commit | 2c8af79de52d091f98aa94615d9e6dd69faba0c7 (patch) | |
| tree | d036c7618135481246a51be44544bf0254a839ae /Makefile.am | |
| parent | c2643842a9a93f131f7b1244cce253be657acc8f (diff) | |
| download | tor-2c8af79de52d091f98aa94615d9e6dd69faba0c7.tar.gz tor-2c8af79de52d091f98aa94615d9e6dd69faba0c7.zip | |
Add a practracker-regen make target
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index 415c2f2b4e..eea7c3a12f 100644 --- a/Makefile.am +++ b/Makefile.am @@ -352,6 +352,9 @@ if USEPYTHON $(PYTHON) $(top_srcdir)/scripts/maint/practracker/practracker.py $(top_srcdir) endif +practracker-regen: + $(PYTHON) $(top_srcdir)/scripts/maint/practracker/practracker.py --regen $(top_srcdir) + check-docs: all $(PERL) $(top_builddir)/scripts/maint/checkOptionDocs.pl |