diff options
| author | Phil Holmes <mail@philholmes.net> | 2012-02-25 16:00:36 +0000 |
|---|---|---|
| committer | David Kastrup <dak@gnu.org> | 2012-03-07 22:03:08 +0100 |
| commit | 92d7336f6a4f07e8e601c61adcb9280137d18dd0 (patch) | |
| tree | 738b06b29e6390c077574fb716206127acb21390 /stepmake | |
| parent | b1a1aa7455b78918fcf9bba225f8c014921ae0f4 (diff) | |
Quietens extract-texi-filenames in make doc
Diffstat (limited to 'stepmake')
| -rw-r--r-- | stepmake/stepmake/texinfo-rules.make | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stepmake/stepmake/texinfo-rules.make b/stepmake/stepmake/texinfo-rules.make index 7b5da4a65f..074060627e 100644 --- a/stepmake/stepmake/texinfo-rules.make +++ b/stepmake/stepmake/texinfo-rules.make @@ -60,10 +60,10 @@ endif ifneq ($(ISOLANG),) $(XREF_MAPS_DIR)/%.$(ISOLANG).xref-map: $(outdir)/%.texi $(XREF_MAPS_DIR)/%.xref-map - $(buildscript-dir)/extract_texi_filenames $(XREF_MAP_FLAGS) -o $(XREF_MAPS_DIR) --master-map-file=$(XREF_MAPS_DIR)/$*.xref-map $< + $(buildscript-dir)/extract_texi_filenames $(XREF_MAP_FLAGS) -q -o $(XREF_MAPS_DIR) --master-map-file=$(XREF_MAPS_DIR)/$*.xref-map $< else $(XREF_MAPS_DIR)/%.xref-map: $(outdir)/%.texi - $(buildscript-dir)/extract_texi_filenames $(XREF_MAP_FLAGS) -o $(XREF_MAPS_DIR) $< + $(buildscript-dir)/extract_texi_filenames $(XREF_MAP_FLAGS) -q -o $(XREF_MAPS_DIR) $< endif $(outdir)/%.info: %.texi $(outdir)/$(INFO_IMAGES_DIR).info-images-dir-dep $(outdir)/version.itexi $(outdir)/weblinks.itexi |