yogsototh/espial
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

update docset generator for purs 13.3

Browse source
This commit is contained in:
Jon Schoning 2019-09-29 17:36:43 -05:00
parent fcec9f3074
commit 332af3a218
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
purs/docset/gen-docset.py
View file

@ -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):