| Commit message (Collapse) | Author | Age |
|---|
| | |
|
| |
|
|
|
|
| |
flex.1 is pre-generated in release tarball. If we delete it, the next
"configure and make" on the source directory will then require help2man
unnecessarily.
|
| |
|
|
|
|
|
|
|
| |
Make the flex binary an order-only prerequisite, and add back the
prerequisites from before 7cfb440. This prevents rebuilding the man page
whenever the flex binary is rebuilt, which causes problems if help2man
is not installed and will never work when cross compiling.
Fixes #108.
|
| | |
|
| | |
|
| |
|
|
|
|
|
|
|
|
|
|
|
| |
git clean -fdx && ./autogen.sh && \
mkdir -p ../build && cd ../build && ../flex/configure && make -j10 && \
make dist
failed with:
> help2man: can't get `--help' info from ../../flex/src/flex
Note:
There is no dependency except for the flex binary.
|
| | |
|
| |
|
|
|
|
|
|
|
|
|
|
| |
The man page is just the --help output as reformatted by help2man. The
--help option is most likely to change when the flex skeleton changes
or one of the option parsing files changes or the configure.ac script
itself changes. The dependencies reflect this now.
It is still necessary, under some circumstances, to rebuild flex
explicitly before building the man page. In theory, it's possible to
have automake arrange to do this all the time, but doing so works out
to be fragile, given the rest of the build system.
|
| |
|
|
|
|
| |
The *.[chly] sources are now in the src directory. This implies a
bunch of changes in Makefile.am and friends to account for the new
location. The .gitignore files are now more local to places where various object files and generated source files occur.
|
| | |
|
| | |
|
| |
|
|
| |
generation of the man page
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
|
