You've already forked phpmyadmin
mirror of
https://github.com/phpmyadmin/phpmyadmin.git
synced 2026-11-06 13:24:31 +03:00
20 lines
356 B
Bash
Executable File
20 lines
356 B
Bash
Executable File
#!/bin/sh
|
|
#
|
|
# $Id$
|
|
#
|
|
# Script to build plain text documentation from the HTML version
|
|
#
|
|
SRC=Documentation.html
|
|
DST=Documentation.txt
|
|
OPTIONS="--dont_wrap_pre --nolist --dump"
|
|
CMD=lynx
|
|
if [ ! -e "$SRC" ]; then
|
|
if [ -e ../"$SRC" ]; then
|
|
SRC="../$SRC"
|
|
else
|
|
echo 'Unable to locate documentation!'
|
|
return
|
|
fi;
|
|
fi;
|
|
$CMD $OPTIONS "$SRC" > "$DST"
|