Installing gawk is fine. However, I've updated the script to just use /usr/bin/awk, which works just as well.

Deploy works very well again, now.

Thanks for looking into it.

On Sun, Feb 3, 2019 at 12:04 PM Philipp Marek <philipp@marek.priv.at> wrote:
Hi Raymond,


> Can someone take a look?
     https://gitlab.common-lisp.net/cmucl/cmucl-site/-/jobs/1405
says

     Output written on cmu-user.pdf (192 pages, 816107 bytes).
     Transcript written on cmu-user.log.
     sed --in-place=bak -E 's/^(.*)\{([^!]+)!([^}]+)\}[ ]*$/\1{\2}{\3}/'
cmu-user.cp
     ./texindex cmu-user.??
     ./texindex: 117: exec: gawk: not found
     Makefile:36: recipe for target 'cmu-user.pdf' failed
     make: *** [cmu-user.pdf] Error 127

so I did

     # apt-get install gawk


Also, a tool tip had an error message

     "mkdir /var/opt/gitlab/gitlab-rails/shared/pages/@pages.tmp"
     permission denied

or similar so I did

     # chmod o+w

on the shared/pages directory -- I hope that wasn't wrong?!


Anyway, it seems to work now.


--
Ray