#!/bin/bash

if [ "$help" != "1" ]
then

cat << EOF >> ../producers.dat
inigo			libinigo.so
EOF

fi