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