From 332af3a218a633cad4978c37e69321ace5d4a163 Mon Sep 17 00:00:00 2001 From: Jon Schoning Date: Sun, 29 Sep 2019 17:36:43 -0500 Subject: [PATCH] update docset generator for purs 13.3 --- purs/docset/gen-docset.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/purs/docset/gen-docset.py b/purs/docset/gen-docset.py index 8d14825..4720620 100755 --- a/purs/docset/gen-docset.py +++ b/purs/docset/gen-docset.py @@ -12,7 +12,7 @@ from html import unescape from bs4 import BeautifulSoup class Generator: - GENERATED_DOCS = '../generated-docs' + GENERATED_DOCS = '../generated-docs/html' OUTPUT = 'purescript-local.docset' def documents_path(self, *paths):