diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/.gitignore | 4 | ||||
-rw-r--r-- | doc/makefile | 11 |
2 files changed, 4 insertions, 11 deletions
diff --git a/doc/.gitignore b/doc/.gitignore new file mode 100644 index 0000000..5accfef --- /dev/null +++ b/doc/.gitignore @@ -0,0 +1,4 @@ +odb.xhtml +odb.1 +*.ps +*.pdf diff --git a/doc/makefile b/doc/makefile index 2f158b0..a05dc96 100644 --- a/doc/makefile +++ b/doc/makefile @@ -77,16 +77,5 @@ $(clean): $(call message,rm $$1,rm -f $$1,$(out_base)/odb-manual.ps) $(call message,rm $$1,rm -f $$1,$(out_base)/odb-manual.pdf) -# Generated .gitignore. -# -ifeq ($(out_base),$(src_base)) -$(out_base)/odb.xhtml $(out_base)/odb.1: | $(out_base)/.gitignore - -$(out_base)/.gitignore: files := odb.1 odb.xhtml odb-manual.ps odb-manual.pdf -$(clean): $(out_base)/.gitignore.clean - -$(call include,$(bld_root)/git/gitignore.make) -endif - $(call include,$(bld_root)/dist.make) $(call include,$(bld_root)/meta/automake.make) |