fibers icon indicating copy to clipboard operation
fibers copied to clipboard

texi: un-comment indices.

Open HugoNikanor opened this issue 3 years ago • 3 comments

I see no reason for not rendering the index that already is there.

The concept index is currently also empty, but I enabled it to in case something gets added to it later.

HugoNikanor avatar Jun 16 '22 17:06 HugoNikanor

I re-commented the unused concept index.

-- Hugo Hörnquist On Sat, Jul 23, 2022 at 12:36:45PM -0700, emixa-d wrote:

@emixa-d commented on this pull request.

@@ -1389,11 +1389,11 @@ Guile now has a solid concurrency story. Use fibers, incorporate it directly into your project, fork it, improve it: what happens now is up to you. Happy hacking and godspeed!

@.*** @node Concept Index @.*** @unnumbered Concept Index @.*** @printindex cp @.*** @node Function Index @.*** @unnumbered Function Index @.*** @printindex fn @.*** Concept Index @.*** Concept Index

(it can easily be re-added once there's actually some things inside)

-- Reply to this email directly or view it on GitHub: https://github.com/wingo/fibers/pull/60#discussion_r928157784 You are receiving this because you authored the thread.

Message ID: @.***>

HugoNikanor avatar Jul 25 '22 10:07 HugoNikanor

Looks like there are some errors, according to the CI, could you fix them?

emixa-d avatar Jul 25 '22 11:07 emixa-d

I couldn't recreate the warning locally, but hopefully this fixes it.

HugoNikanor avatar Jul 25 '22 13:07 HugoNikanor

I've rebased it in https://github.com/wingo/fibers/pull/95. Assuming no negative review (and assuming I don't forget), I intend to merge it after 5 days.

emixa-d avatar Sep 02 '23 14:09 emixa-d

I've rebased it in #95. Assuming no negative review (and assuming I don't forget), I intend to merge it after 5 days.

Nevermind about #95, looks like I can just push.

emixa-d avatar Sep 04 '23 12:09 emixa-d