You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
One need to add small tips in the doc readme:
to update the website, one need to run a make clean before the make publish otherwise git rm -rf * instruction from the Makefile don't know what to do with the gh-build as it is not under version control (is in .gitignore)
The text was updated successfully, but these errors were encountered:
As discussed on slack, this applies not only to the gh-build directory, but to any untracked files in the repo. I'll propose that the best general solution is to have the publish target immediately fail if the current branch is not clean.
One need to add small tips in the doc readme:
to update the website, one need to run a
make clean
before themake publish
otherwisegit rm -rf *
instruction from theMakefile
don't know what to do with thegh-build
as it is not under version control (is in.gitignore
)The text was updated successfully, but these errors were encountered: