Issue 796: autodoc: add --dry-run and --build options - Fast Downward issue tracker

Title	autodoc: add --dry-run and --build options
Priority	wish	Status	resolved
Superseder		Nosy List	jendrik, malte, silvan
Assigned To	jendrik	Keywords
Optional summary

Created on 2018-06-06.08:34:02 by jendrik, last changed by jendrik.

Messages
msg7257 (view)	Author: jendrik	Date: 2018-06-08.18:39:24
Merged.
msg7254 (view)	Author: malte	Date: 2018-06-08.17:16:23
Looks OK to me.
msg7214 (view)	Author: silvan	Date: 2018-06-06.08:57:54
I had a look and found nothing to comment on.
msg7213 (view)	Author: jendrik	Date: 2018-06-06.08:54:29
I agree :-) I made a pull request at https://bitbucket.org/jendrikseipp/downward/pull-requests/91 .
msg7212 (view)	Author: silvan	Date: 2018-06-06.08:46:33
Did you see my many commits on default yesterday? :-) This function would be very useful!
msg7211 (view)	Author: jendrik	Date: 2018-06-06.08:34:02
I'd like to add two options to autodoc that simplify testing the documentation locally .

History
Date	User	Action	Args
2018-06-08 18:39:24	jendrik	set	status: reviewing -> resolved messages: + msg7257
2018-06-08 17:16:23	malte	set	messages: + msg7254
2018-06-06 08:57:54	silvan	set	messages: + msg7214
2018-06-06 08:54:29	jendrik	set	status: in-progress -> reviewing messages: + msg7213
2018-06-06 08:46:33	silvan	set	nosy: + silvan messages: + msg7212
2018-06-06 08:34:02	jendrik	create