Skip to content

Conversation

@gchhablani
Copy link
Contributor

@gchhablani gchhablani commented Mar 21, 2022

What does this PR do?

This PR fixes vestiges of previously existing targets in the Makefile, and potentially adds missing entries as well.

Please let me know if any other recipes are to be added? My understanding is that we want to force the invokation of the recipe even if the file with same name exists, based on this. Please correct me if I'm wrong.

Who can review?

@sgugger

Copy link
Collaborator

@sgugger sgugger left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks a lot!

Double-checking with @stas00 this is alright before merging.

@HuggingFaceDocBuilderDev
Copy link

HuggingFaceDocBuilderDev commented Mar 21, 2022

The documentation is not available anymore as the PR was closed or merged.

Copy link
Contributor

@stas00 stas00 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

That looks correct - thank you for the fix, @gchhablani!

Thank you for the ping, @sgugger

@sgugger sgugger merged commit f9387c9 into huggingface:master Mar 21, 2022
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.

4 participants