[darcs-users] darcs patch: Generate SRC_DIRS programmatically. (and 18 more)
Trent W. Buck
trentbuck at gmail.com
Sun Oct 26 06:54:14 UTC 2008
Thu Oct 23 13:42:12 EST 2008 Trent W. Buck <trentbuck at gmail.com>
[An unfortunately long list of dependencies, because darcs.lhs is
referred to by name a lot in GNUmakefile.]
Sun Oct 26 17:32:31 EST 2008 Trent W. Buck <trentbuck at gmail.com>
* Split darcs.lhs into darcs.tex and darcs.hs.
After all, the Main module and main function don't really have
anything to do with the introductory chapters of the user manual.
I used these commands and then some touch-ups:
$ sed '/\\begin{code}/,/\\end{code}/d' src/darcs.lhs >src/darcs.tex
$ darcs mv src/darcs.lhs src/darcs.hs
$ sed --in-place '/\\end{code}/,/\\begin{code}/d' src/darcs.hs
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: text/x-darcs-patch
Size: 181331 bytes
Desc: A darcs patch for your repository!
Url : http://lists.osuosl.org/pipermail/darcs-users/attachments/20081025/48cf905d/attachment-0001.bin
More information about the darcs-users
mailing list