search

Knowledge-Graphs-Book / HTML-Book

Other
36 stars 7 forks source link

Remove index.html from the repo #52

Closed miselico closed 1 year ago

miselico commented 1 year ago

I noticed the index.html file is placed in the repository. This is not needed as it gets generated and deployed to github pages whenever something gets merged into the main branch.

I suggest we just remove the index.html file, to also prevent possible merge conflicts.

Antoine-Zimmermann commented 1 year ago

I agree.

miselico commented 1 year ago

I'll go ahead with this.