@@ -121,6 +121,7 @@ contributors.md:
121
121
# Establish Pandoc settings.
122
122
# ###############################################################################
123
123
124
+ PANDOC_OPTIONS += --verbose
124
125
PANDOC_OPTIONS += --toc --toc-depth 3
125
126
PANDOC_OPTIONS += --number-sections
126
127
PANDOC_OPTIONS += --standalone
@@ -136,6 +137,12 @@ EPUB_CSS_FILE = css/default-pandoc.css
136
137
# HTML_TEMPLATE = templates/bootstrap_menu.html
137
138
HTML_TEMPLATE = $(TOP_DIR ) /config/pandoc_templates/uikit.html
138
139
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
+
139
146
# ###############################################################################
140
147
# Rules for generating the document in various formats.
141
148
# ###############################################################################
@@ -156,7 +163,7 @@ guidelines.docbook: $(GENERATED_MARKDOWN)
156
163
pandoc $(PANDOC_OPTIONS ) --from $(INPUT_FORMAT ) -o $@ main.gen.md
157
164
158
165
guidelines_html : guidelines.texi
159
- makeinfo --no-validate --force --html -o guidelines_html guidelines.texi
166
+ makeinfo $( MAKEINFO_OPTIONS ) --html -o guidelines_html guidelines.texi
160
167
161
168
guidelines.tex :
162
169
pandoc $(PANDOC_OPTIONS ) --from $(INPUT_FORMAT ) --to latex -o $@ main.gen.md
0 commit comments