Commit af10e5d4 authored by Raymond Toy's avatar Raymond Toy

Document how the cached gen directory works

It's important that the manuals install to the gen directory which is
cached.  When we deploy, we want to copy the gen directory to the
public directory to get the docs.  Without this the manuals aren't
part of the site anymore.  And if the manual hasn't changed, the
cached gen directory has the manuals from the last time it was
generated.
parent 32bb68b5
Pipeline #1189 passed with stages
in 31 seconds