-
Notifications
You must be signed in to change notification settings - Fork 35
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.
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
docs: support deleting automatically generated files via make clean #1129
Conversation
Pull Request Test Coverage Report for Build 1498692749
💛 - Coveralls |
docs/Makefile
Outdated
|
||
clean: | ||
-rm -rf $(BUILDDIR)/* | ||
-rm -rf source/reference/api/api_rst/ |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
use SOURCEDIR
rather than source
?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Also shall we put the generated files to an obvious position?
we cannot know that this folder contains generated files from its name source/reference/api/api_rst/
.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
So we could use file name "generated" uniformly to refer to automatically generated files?just as "index" stands for directories.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I think it is OK to use "generated"
f840886
to
13b470e
Compare
13b470e
to
8c2c3c6
Compare
8c2c3c6
to
f044c18
Compare
No description provided.