remove doc/helpdb.jl from repository

add top-level Makefile rule to regenerate it remove helpdb.jl in make cleanall
JuliaLang · Jan 8, 2015 · 9b419b8 · 9b419b8
1 parent a916397
commit 9b419b8
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 12,402 deletions.
diff --git a/Makefile b/Makefile
@@ -111,6 +111,9 @@ endif
 $(build_docdir)/helpdb.jl: doc/helpdb.jl | $(build_docdir)
 	@cp $< $@
 
+doc/helpdb.jl:
+	@$(MAKE) -C doc helpdb.jl
+
 $(build_man1dir)/julia.1: doc/man/julia.1 | $(build_man1dir)
 	@mkdir -p $(build_man1dir)
 	@cp $< $@
@@ -420,6 +423,7 @@ ifeq ($(OS),WINNT)
 	@rm -rf $(build_prefix)/lib
 endif
 	@$(MAKE) -C deps clean-uv
+	@rm -f doc/helpdb.jl $(build_docdir)/helpdb.jl
 
 distcleanall: cleanall
 	@$(MAKE) -C deps distcleanall

diff --git a/doc/.gitignore b/doc/.gitignore
@@ -1,2 +1,3 @@
 UnicodeData.txt
 _build/
+helpdb.jl