47
47
# List of documents that shouldn't be included in the build.
48
# Note: These are taken from the main Makefile. Maybe some of them *ought*
49
# to be linked in somewhere?
48
# Note: Maybe some of them *ought* to be linked in somewhere?
52
'doc/developers/annotate',
53
'doc/developers/bundle-creation',
54
'doc/developers/commit',
55
'doc/developers/diff',
56
'doc/developers/directory-fingerprints',
58
'doc/developers/implementation-notes',
59
'doc/developers/incremental-push-pull',
60
'doc/developers/index',
61
'doc/developers/initial-push-pull',
62
'doc/developers/merge-scaling',
63
'doc/developers/miscellaneous-notes',
64
'doc/developers/missing',
65
'doc/developers/performance-roadmap-rationale',
66
'doc/developers/performance-use-case-analysis',
67
'doc/developers/planned-change-integration',
68
'doc/developers/planned-performance-changes',
69
'doc/developers/plans',
70
'doc/developers/process',
71
'doc/developers/revert',
72
'doc/developers/specifications',
73
'doc/developers/status',
74
'doc/developers/uncommit.txt',
57
'directory-fingerprints',
60
'incremental-push-pull',
64
'performance-roadmap-rationale',
65
'performance-use-case-analysis',
66
'planned-change-integration',
67
'planned-performance-changes',
added
removed
doc/developers/conf.py
