Re: [PATCH] documentation: remove unfinished documentation

2017-01-17 Thread Junio C Hamano
Stefan Beller writes: > When looking for documentation for a specific function, you may be tempted > to run > > git -C Documentation grep index_name_pos > > only to find the file technical/api-in-core-index.txt, which doesn't > help for understanding the given function. It would be better to no

[PATCH] documentation: remove unfinished documentation

2017-01-17 Thread Stefan Beller
When looking for documentation for a specific function, you may be tempted to run git -C Documentation grep index_name_pos only to find the file technical/api-in-core-index.txt, which doesn't help for understanding the given function. It would be better to not find these functions in the docume