Permalink
Browse files

Ignore generated documentation sources in git (#162)

Summary:
We generate a lot of source files as part of our documentation build process. These are generated files and should not be checked in
Pull Request resolved: #162

Reviewed By: bethebunny

Differential Revision: D13553414

Pulled By: m3rlin45

fbshipit-source-id: d685a4402d74af3d8a680d72cb48e574ce68584b
  • Loading branch information...
m3rlin45 authored and facebook-github-bot committed Dec 27, 2018
1 parent 591911d commit 0fc52da528b9b77f8e46899ccfd51d9db71645be
Showing with 5 additions and 1 deletion.
  1. +5 −1 .gitignore
@@ -31,4 +31,8 @@ venv.bak/
*~

# Coverage Files
.coverage
.coverage

# Generated Document Sources
pytext/docs/source/configs/*
pytext/docs/source/modules/*

0 comments on commit 0fc52da

Please sign in to comment.