From: Stephen Chang (stchang at ccs.neu.edu) Date: Fri Nov 21 14:34:30 EST 2014 |
|
Is this allowed? File A.scrbl: #lang scribble/manual File B.scrbl: #lang scribble/manual @(require "A.scrbl") Right now when I run B, I get the error: module: identifier is already imported in: doc
Posted on the users mailing list. |
|