1 files changed, 13 insertions, 0 deletions
diff --git a/doc/docstring-magic.el b/doc/docstring-magic.el
new file mode 100644
index 00000000..b36643ce
--- /dev/null
+++ b/doc/docstring-magic.el
@@ -0,0 +1,13 @@
+;; Ensure that non-compiled versions of everything is loaded
+(setq load-path
+      (append
+       '("../generic/" "../isa/" "../lego/" "../coq/") load-path))
+(load "proof-site.el")
+(load "proof-config.el")
+(load "proof.el")
+(load "isa.el")
+(load "thy-mode.el")
+(load "coq.el")
+(load "lego.el")
+
+(load "texi-docstring-magic.el")
+\ No newline at end of file