@@ -121,6 +121,7 @@ contributors.md:
121121# Establish Pandoc settings.
122122# ###############################################################################
123123
124+ PANDOC_OPTIONS += --verbose
124125PANDOC_OPTIONS += --toc --toc-depth 3
125126PANDOC_OPTIONS += --number-sections
126127PANDOC_OPTIONS += --standalone
@@ -136,6 +137,12 @@ EPUB_CSS_FILE = css/default-pandoc.css
136137# HTML_TEMPLATE = templates/bootstrap_menu.html
137138HTML_TEMPLATE = $(TOP_DIR ) /config/pandoc_templates/uikit.html
138139
140+ # MAKEINFO_OPTIONS += --no-warn
141+ MAKEINFO_OPTIONS += --error-limit 1000000000000
142+ # MAKEINFO_OPTIONS += --verbose
143+ MAKEINFO_OPTIONS += --no-validate
144+ MAKEINFO_OPTIONS += --force
145+
139146# ###############################################################################
140147# Rules for generating the document in various formats.
141148# ###############################################################################
@@ -156,7 +163,7 @@ guidelines.docbook: $(GENERATED_MARKDOWN)
156163 pandoc $(PANDOC_OPTIONS ) --from $(INPUT_FORMAT ) -o $@ main.gen.md
157164
158165guidelines_html : guidelines.texi
159- makeinfo --no-validate --force --html -o guidelines_html guidelines.texi
166+ makeinfo $( MAKEINFO_OPTIONS ) --html -o guidelines_html guidelines.texi
160167
161168guidelines.tex :
162169 pandoc $(PANDOC_OPTIONS ) --from $(INPUT_FORMAT ) --to latex -o $@ main.gen.md
0 commit comments