JuliaDocs/Franklin.jl

Add in deploy documentation for GitHub that now need to explicitly pick `gh-pages`

Open

#736 opened on Dec 18, 2020

View on GitHub
 (1 comment) (0 reactions) (0 assignees)Julia (118 forks)batch import
docseasygood first issue

Repository metrics

Stars
 (1,060 stars)
PR merge metrics
 (Avg merge 71d 9h) (4 merged PRs in 30d)

Description

It used to be done automatically but not anymore it seems. So basically:

  • push
  • go to repo settings, gh-pages and pick gh-pages with root:

Contributor guide