Module run_make_support::external_deps::htmldocck

Functions

• htmldocck
  htmldocck is a python script which is used for rustdoc test suites, it is assumed to be available at $SOURCE_ROOT/src/etc/htmldocck.py.