File: make_man.sh

package info (click to toggle)
basex 7.3-1
  • links: PTS, VCS
  • area: main
  • in suites: wheezy
  • size: 7,924 kB
  • sloc: java: 86,870; xml: 921; sh: 149; makefile: 5
file content (14 lines) | stat: -rwxr-xr-x 398 bytes parent folder | download | duplicates (5) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
 
#!/bin/sh

if [ ! -x /usr/bin/txt2man ]; then
  echo 'txt2man is used to produce manpages (please consider installing it).';
  echo '# apt-get install txt2man';
  exit 1;
fi

for i in basex basexgui basexclient basexserver; do
  /usr/bin/txt2man -s1 -t$i -v"The XML Database" ./$i.txt >./$i.1;
done;

echo "Fixing '-' in RESTORE command"
/bin/sed -ie 's/RESTORE \[name /RESTORE \[name\\-/' basex.1