File: rtldoc

package info (click to toggle)
rtlinux 3.1pre3-3
  • links: PTS
  • area: non-free
  • in suites: etch, etch-m68k
  • size: 4,896 kB
  • ctags: 4,228
  • sloc: ansic: 26,204; sh: 2,069; makefile: 1,414; perl: 855; tcl: 489; asm: 380; cpp: 42
file content (23 lines) | stat: -rwxr-xr-x 496 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
 
#!/bin/sh

ROOT_RTLDOC_DIR=rtldoc/docs

# use: scripts/rtldoc rtlinux_dir_to_install

if [ ! -d "$1" ]; then
	echo usage: scripts/rtldoc directory
	exit 1
fi

HERE=`pwd`;
cd rtldoc || exit 1
bk -r get -S; make
cd $HERE
rm -rf $1/doc/html $1/man
cp -fr ${ROOT_RTLDOC_DIR}/html $1/doc
cp -fr ${ROOT_RTLDOC_DIR}/man $1
cp -fr ${ROOT_RTLDOC_DIR}/COPYRIGHT $1/man
cp -fr ${ROOT_RTLDOC_DIR}/COPYRIGHT $1/doc
cp -fr ${ROOT_RTLDOC_DIR}/txt/FAQ.txt $1
cp -fr ${ROOT_RTLDOC_DIR}/txt/GettingStarted.txt $1