diff options
| author |   ShubhamRathi <shubhamiiitbackup@gmail.com> | 2017-01-20 16:13:36 +0530 |
|---|---|---|
| committer | ShubhamRathi <shubhamiiitbackup@gmail.com> | 2017-01-20 16:13:36 +0530 |
| commit | d73e4da511fb831cb79748cb7ab37ce7ae412ac9 (patch) | |
| tree | 610fecb7607a4c2f01ecd9722c95efdbbb40be71 /docs/development | |
| parent | 4e89824a333d5fd0afeb23e0601dc30e774f3b5f (diff) | |
RTD Workaround to delete old files
Workaround to delete old files in RTD: We are callling a subprocess
from conf.py file to rm -rf *.The builds on RTD are failing but
documentation is being updated nonetheless, to check - we are seeing
the build time and date in index.
Change-Id: I278490e322e97e263d90f568fe4331bcc40ff4ad
Signed-off-by: ShubhamRathi <shubhamiiitbackup@gmail.com>
Diffstat (limited to 'docs/development')
0 files changed, 0 insertions, 0 deletions