Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

deploydocs throws if you are on the first PR setting up docs #1693

Closed
ericphanson opened this issue Sep 7, 2021 · 1 comment · Fixed by #1704
Closed

deploydocs throws if you are on the first PR setting up docs #1693

ericphanson opened this issue Sep 7, 2021 · 1 comment · Fixed by #1704
Labels
Type: Bug

Comments

@ericphanson
Copy link
Contributor

on Documenter v0.27.6 due to cacf739#r56076137
@simeonschaub simeonschaub mentioned this issue Sep 11, 2021
Merged
@devmotion devmotion mentioned this issue Sep 22, 2021
Merged
tkf referenced this issue Sep 25, 2021
@hyrodium
Add index.html generation for redirecting to ./stable or ./dev (…
cacf739 
…#1657)
@tkf
Copy link
Contributor

tkf commented Sep 25, 2021

Throwing a keyword for searching the issue: generate_redirect_file

(That's how I searched the issue first)

@ericphanson ericphanson mentioned this issue Sep 25, 2021
Merged
fredrikekre pushed a commit that referenced this issue Sep 25, 2021
@ericphanson
Skip redirect if no entry to redirect to, fixes #1693 (#1704)
d01a54c
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Type: Bug
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Skip redirect if no entry to redirect to ericphanson/Documenter.jl
3 participants
@tkf @mortenpi @ericphanson