diff options
| author | David Herrmann <dh.herrmann@googlemail.com> | 2013-01-02 17:32:49 +0100 |
|---|---|---|
| committer | David Herrmann <dh.herrmann@googlemail.com> | 2013-01-02 17:32:49 +0100 |
| commit | 1f38e6beed29b281b6bab2c925884cdf491eddc4 (patch) | |
| tree | 24f6b4ee6f622005ae89c96036ab118099ec29c3 /.gitignore | |
| parent | ca446c691f702bfc5585d8ac69e245d5b3382679 (diff) | |
build: fix man-page compilation
The man_fixup_aliases thingy was a horrible hack. Replace it with a
temporary .man_fixup file that saves compilation timestamps so we have
post-recipies for man-fixups.
Also fix some minor out-of-tree build problems.
Signed-off-by: David Herrmann <dh.herrmann@googlemail.com>
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -26,6 +26,7 @@ stamp-* .deps .dirstamp .libs +.man_fixup genshader genunifont src/static_shaders.c |