Issue 832: Rework relation Registry-DocStore for documentation - Fast Downward issue tracker

Title	Rework relation Registry-DocStore for documentation
Priority	feature	Status	resolved
Superseder		Nosy List	cedric, jendrik, malte, patfer, salome
Assigned To	patfer	Keywords
Optional summary

Created on 2018-09-19.16:43:16 by patfer, last changed by patfer.

Messages
msg7682 (view)	Author: patfer	Date: 2018-09-20.23:01:30
Mered
msg7652 (view)	Author: malte	Date: 2018-09-20.16:28:53
Agreed, I think this can be merged.
msg7648 (view)	Author: salome	Date: 2018-09-20.15:28:15
I had a look at the code, seems good to me.
msg7634 (view)	Author: patfer	Date: 2018-09-20.12:54:33
PR ready for review: https://bitbucket.org/PatFer/downward/pull-requests/6/issue832/diff
msg7589 (view)	Author: patfer	Date: 2018-09-19.16:43:16
Rework how those two are used and who stores what. The DocPrinter is currently using both to generate the docs.

History
Date	User	Action	Args
2018-09-20 23:01:30	patfer	set	status: reviewing -> resolved messages: + msg7682
2018-09-20 16:28:54	malte	set	messages: + msg7652
2018-09-20 15:28:15	salome	set	nosy: + salome messages: + msg7648
2018-09-20 12:54:33	patfer	set	status: unread -> reviewing messages: + msg7634
2018-09-19 16:43:16	patfer	create