Hi Trent, Thanks for your patch. It left me a bit puzzled though which is most probably not your fault :)
* Trent W. Buck <[EMAIL PROTECTED]> [081125 04:02]:
> Throughout the source, there are numerous instances of
>
> \end{code}
>
> \begin{code}
>
> These are normally sensible when you are rendering literate
> documenation, because they separate "logical" blocks of code. But we
> are only using the literate notation to allow the user manual and code
> sources to exist in the same file -- the first step for build the
> documentation is simply to delete everything in the code blocks.
>
> Therefore I see no reason for these extra lines to exist throughout
> the codebase, and I have removed them.
I first read the above paragraphs as "remove empty begin{code} /
end{code} blocks. That would be fine with me. But as I understood
ghc will remove anything not marked with \begin{code} \end{code}
right? So what becomes of
> hunk ./src/Darcs/Commands/Add.lhs 52
> - -\begin{code}
> add_description :: String
> add_description =
> "Add one or more new files or directories."
> hunk ./src/Darcs/Commands/Add.lhs 67
> "Add needs to be called whenever you add a new file or directory to
> your\n"++
> "project. Of course, it also needs to be called when you first create
> the\n"++
> "project, to let darcs know which files should be kept track of.\n"
> - -\end{code}
The above surely is code? Did you move the definition somewhere
else? Or is there no literate source anymore?
This \begin{code} \end{code} stuff always confused me. I sure think
Trent did test this and it is alright, could someone clear this up
for me?
Kind regards,
Christian
--
You may use my gpg key for replies:
pub 1024D/47F79788 2005/02/02 Christian Kellermann (C-Keen)
pgp0dmy0c7HRc.pgp
Description: PGP signature
_______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
