Skip to content

Move generated docs{,-prerelease}.json to $GENERATED v2#1685

Merged
CyberShadow merged 2 commits intodlang:masterfrom
wilzbach:move-docs-json-to-generated2
Jun 8, 2017
Merged

Move generated docs{,-prerelease}.json to $GENERATED v2#1685
CyberShadow merged 2 commits intodlang:masterfrom
wilzbach:move-docs-json-to-generated2

Conversation

@wilzbach
Copy link
Contributor

@wilzbach wilzbach commented Jun 8, 2017

Due to #1682

@wilzbach wilzbach force-pushed the move-docs-json-to-generated2 branch from 992f7de to 12fbc71 Compare June 8, 2017 03:09
@wilzbach
Copy link
Contributor Author

wilzbach commented Jun 8, 2017

At least we know know the error - it's due to the rm at the end which I left in there, in case someone uses an old dlang.org build ...

Writing filtered docs...
rm .generated/.release-files.txt .generated/.release-dummy.html
rm: cannot remove '.generated/.release-dummy.html': No such file or directory
posix.mak:513: recipe for target '.generated/docs.json' failed
make: *** [.generated/docs.json] Error 1

(fixed)

@CyberShadow CyberShadow merged commit 7f07c07 into dlang:master Jun 8, 2017
@wilzbach wilzbach deleted the move-docs-json-to-generated2 branch December 18, 2017 06:01
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