[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: gendoc.sh: Add "-s" option for specifying an alternate source file.
|
From: |
Karl Berry |
|
Subject: |
Re: gendoc.sh: Add "-s" option for specifying an alternate source file. |
|
Date: |
Sun, 14 Feb 2010 23:20:47 GMT |
This patch fixes the problem, allowing "gendocs.sh -s doc/pspp.texinfo
pspp" to work.
I installed the patch, thanks (especially for the ChangeLog entry).
But why not have the manual use @include <file>.texinfo in the first
place, instead of forcing any processing to be done in an upper level
due to the hardcoded doc/?