diff options
Diffstat (limited to 'games/vera/doinst.sh')
| -rw-r--r-- | games/vera/doinst.sh | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/games/vera/doinst.sh b/games/vera/doinst.sh new file mode 100644 index 0000000000..902384ea1c --- /dev/null +++ b/games/vera/doinst.sh @@ -0,0 +1,10 @@ +# the README says to use '* V.E.R.A.' at the start, but that causes +# the command 'info vera' to fail. Using '* VERA' works as expected. + +if ! grep "(vera)" usr/info/dir 1>/dev/null 2>/dev/null; then + cat << EOF >> usr/info/dir + +Miscellaneous +* VERA: (vera). Virtual Entity of Relevant Acronyms +EOF +fi |