Joel's idea of using a "master file" to combine the chapter source files is good.
Joel is using `dynamic-require`. Another mechanism would be making a submodule for each chapter with `module`: (module ch1-submod racket/base (require "ch1.html.pm") (provide doc metas)) (require (prefix-in ch1: 'ch1-submod)) By using `prefix-in` you can keep all the `doc` and `meta` values separate. I would avoid combining source files with `cat`, as it dissolves the idea of self-contained source files. > On Mar 10, 2017, at 9:11 AM, Joel Dueck <dueckofe...@gmail.com> wrote: > > In my try-pollen repo, I have this exact use case. The approach I took was to > use a .pp file [1] to gather multiple .poly.pm files into a single .ltx > output file. > > [1]: > https://github.com/otherjoel/try-pollen/blob/master/flatland/flatland-book.ltx.pp > > On Friday, March 10, 2017 at 5:02:54 AM UTC-6, osub...@gmail.com wrote: > Hello, everyone. > > If there are way to combine multiple source pages to generate single output. > > Say, we have chapter1.poly.pm <http://chapter1.poly.pm/>, chapter2.poly.pm > <http://chapter2.poly.pm/> > > The use case - HTML output (chapter1.html. chapter2.html) vs PDF output > (single output). > > The simple solution that comes to mind - just combine the chapter source > files into single "book" file (with 'cat' ) > and use it as a source for PDF. Technically, also will allow generation of > the single-HTML output from the "book". > > -Oleg Subbotin. > > > > -- > You received this message because you are subscribed to the Google Groups > "Pollen" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to pollenpub+unsubscr...@googlegroups.com > <mailto:pollenpub+unsubscr...@googlegroups.com>. > For more options, visit https://groups.google.com/d/optout > <https://groups.google.com/d/optout>. -- You received this message because you are subscribed to the Google Groups "Pollen" group. To unsubscribe from this group and stop receiving emails from it, send an email to pollenpub+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
