I'm currently working on translating Racket BSL, 2htdp/image, 2htdp/universe libraries into Finnish. I've been able to redirect the links inside this "manual" so that they target to the Finnish manual pages.
For example:
Link to "require" works fine on this page:
http://racket.koodiaapinen.fi/manuaali/piirtotyokaluja.html
It has the correct link to Finnish version of "require":
http://racket.koodiaapinen.fi/manuaali/kirjastovaatimukset.html#%28form._%28%28lib._fin-doc%2Ffi-beginner..rkt%29._require%29%29
Now, I have started another Scribble generated document containing exercises for students and I would like to link all its references to Racket/image/universe keywords to my Finnish manual. I added a redirection flag for Scribble:
--redirect-main http://racket.koodiaapinen.fi/manuaali/
But it doesn't help since the links are not generated right, they go to the English version (should have "fin-doc"):
http://racket.koodiaapinen.fi/manuaali/htdp-langs/beginner.html#%28form._%28%28lib._lang%2Fhtdp-beginner..rkt%29._require%29%29
See the problem here (click on require):
http://racket.koodiaapinen.fi/tehtavat/racket_alkeet.html#%28part._peruskuvat_ja_kuvien_yhdistely%29
Both Scribble files have the same requires:
#lang scribble/manual
@(require scriblib/figure)
@(require 2htdp/image)
@(require (for-label fin-doc/fi-beginner))
@(require (for-label fin-doc/fi-image))
@(require scribble/core
scribble/html-properties)
What am I missing? fin-doc - package is installed as a development link with raco pkg install. Is that not enough? Should I generate both docs at the same time? I want them to be standalone docs (own index.html), just linked to each other.
Thanks,
Tiina
--
You received this message because you are subscribed to a topic in the Google Groups "Racket Users" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/racket-users/NstaYFP2fmY/unsubscribe.
To unsubscribe from this group and all its topics, send an email to racket-users...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.