]> granicus.if.org Git - flex/commit
projects / flex / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 92311a5) | patch
doc: Don't delete flex.1 during "make distclean".
authorExplorer09 <explorer09@gmail.com>
Fri, 28 Oct 2016 00:37:49 +0000 (08:37 +0800)
committerWill Estes <westes575@gmail.com>
Fri, 28 Oct 2016 23:48:11 +0000 (19:48 -0400)
commitc503eaf061145b97dd04af3fd01138e041425317
tree8a77768009d84bb237fea8f8d30fa90a2213278ctree | snapshot
parent92311a56b34363d150ed6badfad3450bcfe09a2fcommit | diff
doc: Don't delete flex.1 during "make distclean".

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.
doc/Makefile.am diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.