f3153e61d4
A CGI program to convert GNU .info files into html. PR: 14311 Submitted by: Juergen Lock <nox@jelal.kn-bremen.de>
4 lines
110 B
Bash
4 lines
110 B
Bash
#! /bin/sh
|
|
export INFOPATH=/usr/local/info:/usr/share/info:/usr/X11R6/info
|
|
exec ${SCRIPT_FILENAME%/*}/gnuinfo
|