Omar Sandoval 388b6a1090 Generate version.py instead of using pkg_resources ... We get the version of drgn with pkg_resources.get_distribution() in two places: setup.py (when using an sdist) and the CLI. The former causes problems because in some cases, pip doesn't find the drgn distribution that's currently being built. The latter adds significant latency to startup. On my laptop, just importing pkg_resources takes 130 ms. We can solve both of these problems by generating a file containing the version instead. Signed-off-by: Omar Sandoval <osandov@osandov.com>		2020-10-20 02:40:16 -07:00
..
_static	docs: document that Type == is not for type checking	2019-11-24 09:45:39 -08:00
exts	Fix trailing commas for Black v20.8b1	2020-08-27 11:31:29 -07:00
advanced_usage.rst	libdrgn: add an environment variable to disable use of /proc/modules and /sys/module	2020-10-13 11:24:39 -07:00
api_reference.rst	Associate types with program	2020-08-26 17:41:09 -07:00
conf.py	Add type hint stubs and generate documentation from them	2020-02-25 13:39:06 -08:00
favicon.ico	Add logo and favicon	2019-04-17 01:16:31 -07:00
helpers.rst	Add type hint stubs and generate documentation from them	2020-02-25 13:39:06 -08:00
index.rst	libdrgn: make program components pluggable	2019-05-10 12:41:07 -07:00
installation.rst	Generate version.py instead of using pkg_resources	2020-10-20 02:40:16 -07:00
user_guide.rst	docs: mention tools directory	2020-04-17 16:15:35 -07:00