[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