diff options
Diffstat (limited to 'chapter06/flex.xml')
| -rw-r--r-- | chapter06/flex.xml | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/chapter06/flex.xml b/chapter06/flex.xml index f1bdc7fb5..5536772dc 100644 --- a/chapter06/flex.xml +++ b/chapter06/flex.xml @@ -41,11 +41,6 @@ <sect2 role="installation"> <title>Installation of Flex</title> - <para>Fix an issue that was discovered after release:</para> - -<screen><userinput remap="pre">patch -Np1 -i ../&flex-fixes-patch; && -touch src/scan.*</userinput></screen> - <para>The build procedure assumes the <application>help2man</application> program is available to create a man page from the executable --help option. This is not present, so we use an environment variable to skip this process. |