diff --git a/udpipe2/docs/.gitignore b/udpipe2/docs/.gitignore deleted file mode 100644 index 9b61c8c0423824bbec12a1b3862a4a7a8a0d79a1..0000000000000000000000000000000000000000 --- a/udpipe2/docs/.gitignore +++ /dev/null @@ -1 +0,0 @@ -/*.html diff --git a/udpipe2/docs/Makefile b/udpipe2/docs/Makefile deleted file mode 100644 index 8194de78ab3300b51ed2689c57a31db3fb7435c3..0000000000000000000000000000000000000000 --- a/udpipe2/docs/Makefile +++ /dev/null @@ -1,24 +0,0 @@ -HTMLS:=models.html udpipe_2.html - -.PHONY: all -all: $(HTMLS) - -%.md: %.md.sh $(wildcard *.md) - sh $< >$@ - -%.fragment.html: %.md - scripts/preprocess <$< | scripts/md >$@ - -%.html: %.fragment.html - scripts/html <$< >$@ - -%.noheading.html: %.html - sed '/
"+o(e[r].content)+"
\n"},i.fence=function(e,r,t,n,i){var a,c,l,u,p=e[r],h=p.info?s(p.info).trim():"",f="";return h&&(f=h.split(/\s+/g)[0]),0===(a=t.highlight&&t.highlight(p.content,f)||o(p.content)).indexOf(""+a+"
\n"):""+a+"
\n"},i.image=function(e,r,t,n,s){var o=e[r];return o.attrs[o.attrIndex("alt")][1]=s.renderInlineAsText(o.children,t,n),s.renderToken(e,r,t)},i.hardbreak=function(e,r,t){return t.xhtmlOut?"