14
14
echo '<title>Lead Developers:</title>'; \
15
15
echo '<para><simplelist>') > $@.tmp
17
17
(echo '</simplelist></para></sect3><sect3>'; \
18
18
echo '<title>Contributors</title>'; \
19
19
echo '<para><simplelist>') >> $@.tmp
21
21
(echo '</simplelist></para></sect3>'; \
22
22
echo '<sect3><title>Documentation</title>'; \
23
23
echo '<para><simplelist>') >> $@.tmp
25
25
(echo '</simplelist></para></sect3>'; \
26
26
echo '</sect2>') >> $@.tmp