Patch 542: inline manual parts of configuring_darcs... (and 3 more) - Darcs bug tracker

Title	inline manual parts of configuring_darcs... (and 3 more)
Superseder		Nosy List	gh
Related Issues
Status	accepted	Assigned To
Milestone

Created on 2011-02-09.17:42:16 by gh, last changed 2011-03-03.09:12:55 by gh.

Files
File name	Status	Uploaded	Type	Edit	Remove
inline-manual-part-of-darcs_tex-up-to-arguments.dpatch		gh, 2011-02-15.10:53:57	application/x-darcs-patch
inline-manual-parts-of-configuring_darcs_tex.dpatch		gh, 2011-02-09.17:42:14	application/x-darcs-patch
unnamed		gh, 2011-02-09.17:42:14	text/x-darcs-patch
unnamed		gh, 2011-02-09.17:42:14
unnamed		gh, 2011-02-15.10:53:57	text/x-darcs-patch
unnamed		gh, 2011-02-15.10:53:57

See mailing list archives for discussion on individual patches.

Messages
msg13655 (view)	Author: gh	Date: 2011-02-09.17:42:14
This removes most of the literate haskell into the .tex files of the manual. I did not touch files under Commands since they are preprocessed and I do not know how to de-lhs them. 4 patches for repository http://darcs.net/screened: Tue Feb 8 19:59:18 CET 2011 Guillaume Hoffmann <guillaumh@gmail.com> * inline manual parts of configuring_darcs.tex Tue Feb 8 20:04:10 CET 2011 Guillaume Hoffmann <guillaumh@gmail.com> * inline manual part of darcs.tex up to arguments Wed Feb 9 17:23:18 CET 2011 Guillaume Hoffmann <guillaumh@gmail.com> * move some literate haskell into theory_of_patches.tex Wed Feb 9 18:16:20 CET 2011 Guillaume Hoffmann <guillaumh@gmail.com> * no longer build patch-theory manual file Attachments inline-manual-parts-of-configuring_darcs_tex.dpatch unnamed unnamed
msg13685 (view)	Author: gh	Date: 2011-02-15.10:53:57
This time, command modules are de-lhs'ed. The small change in Preproc.hs is just to make the code clearer. In the patch "get rid [...] for commands" I also remove a duplicate section of the "show" commands, and add "show index" that was not there. Printer.lhs remains unchanged, but probably some parts of it are now implemented in some string/text library, and the de-lhs-ization could be done with a refactoring. These patches change code all over the place, and the compilation, tests and manual generation are going fine, so I'm screening them now. 6 patches for repository http://darcs.net/screened: Tue Feb 8 20:04:10 CET 2011 Guillaume Hoffmann <guillaumh@gmail.com> * inline manual part of darcs.tex up to arguments Wed Feb 9 18:16:20 CET 2011 Guillaume Hoffmann <guillaumh@gmail.com> * no longer build patch-theory manual file Mon Feb 14 22:48:03 CET 2011 Guillaume Hoffmann <guillaumh@gmail.com> * inline manual parts of configuring_darcs.tex Mon Feb 14 22:52:11 CET 2011 Guillaume Hoffmann <guillaumh@gmail.com> * move some literate haskell into theory_of_patches.tex Tue Feb 15 01:40:46 CET 2011 Guillaume Hoffmann <guillaumh@gmail.com> * get rid of literate haskell for GZCRCs and TransferMode Tue Feb 15 01:44:58 CET 2011 Guillaume Hoffmann <guillaumh@gmail.com> * get rid of literate haskell for commands Attachments inline-manual-part-of-darcs_tex-up-to-arguments.dpatch unnamed unnamed
msg13765 (view)	Author: gh	Date: 2011-03-03.09:12:55
Self-pushed.

History
Date	User	Action	Args
2011-02-09 17:42:16	gh	create
2011-02-15 10:53:59	gh	set	files: + unnamed, inline-manual-part-of-darcs_tex-up-to-arguments.dpatch, unnamed messages: + msg13685
2011-03-03 09:12:55	gh	set	status: needs-review -> accepted messages: + msg13765