From f2c267f19ccf509cc559e8a5ae6e8473e3572f3e Mon Sep 17 00:00:00 2001
From: Antoine Musso <hashar@free.fr>
Date: Mon, 23 Sep 2013 17:48:52 +0200
Subject: [PATCH] stop ignoring doc/source/*

The doc/source directory contains rst files which are all tracked in
git. Apparently sphinx never generates anything there so I guess we can
stop ignoring the directory content.

Change-Id: Ica41c7644cfc78203b3a5f8072a4452de49aa794
---
 .gitignore | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 4de625721..c73f5087f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -13,5 +13,4 @@ output
 etc/jenkins_jobs.ini
 dist/*
 doc/build/*
-doc/source/*
 jenkins_jobs/versioninfo