It looks like you are implying that @(defmodule circuit-simulation/circuits
#:packages ()) doesn’t work locally on your computer, but it should
(provided that you raco pkg install it properly).
On Sun, Apr 25, 2021 at 9:05 PM Jacob Jozef <jos.k...@gmail.com> wrote:
> Hi
>
>
>
> I have a #lang scribble/manual module in a file called
> ‘circuit-manual.scrbl ‘.
>
> It contains:
>
>
>
> @;@(defmodule circuit-simulation/circuits #:packages ())
>
> @(defmodule "circuits.rkt" #:packages ())
>
>
>
> When I open it in DrRacket and press the scribble HTML button,
>
> A neat HTML document is generated.
>
>
>
> When I put my stuff on GITHUB in a repository called ‘circuit-simulation’,
>
> I must uncomment the first line and comment out the second line
>
> or else the package manager cannot correctly install my package.
>
> In the document all links to the documented items are lost.
>
>
>
> The info module is:
>
> #lang info
>
> (define scribblings '(("circuit-manual.scrbl" ())))
>
>
>
> Can I avoid the necessity to comment and uncomment the defmodule form?
>
> Do I something wrong? May be I need to put more info in the info module?
>
>
>
> Thanks, Jos
>
>
>
> --
> You received this message because you are subscribed to the Google Groups
> "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to racket-users+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/racket-users/E175DF73-9A99-4C48-A9AA-432C52DB25F0%40hxcore.ol
> <https://groups.google.com/d/msgid/racket-users/E175DF73-9A99-4C48-A9AA-432C52DB25F0%40hxcore.ol?utm_medium=email&utm_source=footer>
> .
>
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to racket-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/racket-users/CADcueguzLyEsOwfV4MxCcMESQUto8L5NnwYnXfQ9oRbUfYBGVA%40mail.gmail.com.
