Skip to content

Fix generation of vignettes#115

Merged
jgabry merged 1 commit intostan-dev:masterfrom
mcol:master
Sep 20, 2019
Merged

Fix generation of vignettes#115
jgabry merged 1 commit intostan-dev:masterfrom
mcol:master

Conversation

@mcol
Copy link
Member

@mcol mcol commented Aug 8, 2019

This fixes the following error from devtools::check():

Error: Duplicate vignette titles.
Ensure that the %\VignetteIndexEntry lines in the vignette sources
correspond to the vignette titles.

duplicated vignette title:
‘Writing Stan programs for use with the loo package’

This fixes the following error from devtools::check():

   Error: Duplicate vignette titles.
     Ensure that the %\VignetteIndexEntry lines in the vignette sources
     correspond to the vignette titles.

   duplicated vignette title:
     ‘Writing Stan programs for use with the loo package’
@jgabry jgabry merged commit 460c3f1 into stan-dev:master Sep 20, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants