hughperman / pure-lang

Automatically exported from code.google.com/p/pure-lang
0 stars 0 forks source link

pure.html, purelib.html removed from repository #41

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago
rationale:

sensible diffs require that everybody who touches pure.txt
or purelib.txt uses the same docutils version, which is
somewhat harsh a requirement, and even such "sensible" diffs
just add clutter to the repo.

i'm not sure what's the best approach to make the html files
part release tarballs *and* keep them out of $srcdir for
out-of-$srcdir builds, so for now, they're left for the
end-user to create.  docutils is trivial to install and runs
"everywhere", so this shouldn't be too hard to do.

Original issue reported on code.google.com by neuhau...@sigpipe.cz on 1 Jul 2010 at 12:41

Attachments:

GoogleCodeExporter commented 8 years ago
This is now fixed as of r200bcf4f99.

Original comment by aggraef@gmail.com on 8 Nov 2010 at 11:57