Dag Wieers 310b0a2521 Docs: Make docsite rebuilds smarter/faster (#45062) ...

* Make the following scripts  idempotent so that we only have to rebuild changed docs, not all docs:

  * plugin_formatter
  * generate_man
  * dump_keywords.py
  * dump_config.py
  * testing_formatter.sh

2018-09-12 13:50:36 -07:00

..

dump_config.py

Docs: Make docsite rebuilds smarter/faster (#45062)

2018-09-12 13:50:36 -07:00

dump_keywords.py

Docs: Make docsite rebuilds smarter/faster (#45062)

2018-09-12 13:50:36 -07:00

find-plugin-refs.py

regex for finding :ref: labels was flawed

2018-04-18 08:43:34 -07:00

generate_man.py

Docs: Make docsite rebuilds smarter/faster (#45062)

2018-09-12 13:50:36 -07:00

plugin_formatter.py

Docs: Make docsite rebuilds smarter/faster (#45062)

2018-09-12 13:50:36 -07:00

testing_formatter.sh

Docs: Make docsite rebuilds smarter/faster (#45062)

2018-09-12 13:50:36 -07:00