| Server IP : 182.53.201.61 / Your IP : 216.73.217.175 Web Server : Apache/2.2.15 (Fedora) System : Linux km10.dyndns.org 2.6.31.5-127.fc12.i686.PAE #1 SMP Sat Nov 7 21:25:57 EST 2009 i686 User : apache ( 48) PHP Version : 5.3.3 Disable Function : NONE MySQL : ON | cURL : ON | WGET : ON | Perl : ON | Python : ON | Sudo : ON | Pkexec : ON Directory : /proc/self/root/usr/bin/ |
Upload File : |
#!/bin/sh
#
prefix=/usr
datarootdir=${prefix}/share
gtkdocdir=/usr/share/gtk-doc/
if test "x$1" = "x--version"; then
echo "1.11"
exit 0
fi
for i in `cd sgml;ls *.sgml`
do j=`echo $i | sed 's/.sgml/.man/'`
echo ": converting " $i $j
docbook-to-man sgml/$i > man/$j 2> man/$j.log
done