manual: document working on docs

[?]
Apr 5, 2021, 3:39 PM
4IVC7COBQCUKWPTQOE63BN732D6AWQ4JYKFRCUBFN3LCFEGND32AC

Dependencies

  • [2] LYO7KK3J Address PR comments:
  • [3] DWMH6NFB docs: mention foreman under hacking
  • [*] KPWMZFHZ Add runHydra shell
  • [*] 3JXCTKEC Add markdown files for documentation
  • [*] BZQQZDPL doc: document how to run tests

Change contents

  • edit in Procfile at line 6
    [2.175]
    manual: ./foreman/start-manual.sh
  • edit in doc/manual/src/hacking.md at line 46
    [7.688]
    [3.306]
    ## Working on the Manual
    By default, `foreman start` runs mdbook in "watch" mode. mdbook listens
    at [http://localhost:63332/](http://localhost:63332/) by default, and
    will reload the page every time you save.
  • file addition: start-manual.sh (---r------)
    [2.425]
    #!/bin/sh
    mdbook serve \
    --port 63332 \
    --dest-dir $(pwd)/.hydra-data/manual \
    $(pwd)/doc/manual/