diff options
Diffstat (limited to 'app-doc/doc++/files/flex.patch')
| -rw-r--r-- | app-doc/doc++/files/flex.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/app-doc/doc++/files/flex.patch b/app-doc/doc++/files/flex.patch new file mode 100644 index 000000000000..2fe135f92174 --- /dev/null +++ b/app-doc/doc++/files/flex.patch @@ -0,0 +1,11 @@ +--- doc++-3.4.10/src/docify.ll 2001-03-08 08:36:20.000000000 +0000 ++++ doc++-3.4.10-patched/src/docify.ll 2004-01-13 22:12:27.000000000 +0000 +@@ -314,7 +314,7 @@ + { + if(argv[1][0] == '-') + { +- fprintf(stderr, "Usage: docify [infile [outfile]]\n"); ++ fprintf(stderr, "Usage: docify [ infile [ outfile ] ]\n"); + return 0; + } + ain = fopen(argv[1], "r"); |