1 files changed, 18 insertions, 0 deletions
diff --git a/3rdparty/libconfig/extra/doc/Makefile.in b/3rdparty/libconfig/extra/doc/Makefile.in
new file mode 100644
index 000000000..fd84597a6
--- /dev/null
+++ b/3rdparty/libconfig/extra/doc/Makefile.in
@@ -0,0 +1,18 @@
+HTMLS = libconfig.html
+TEXINFOS = libconfig.texi
+MAKEINFOHTML = $(MAKEINFO) --html
+MAKEINFO = makeinfo
+
+all: html
+
+.SUFFIXES: .html .texi
+
+libconfig.html: $(TEXINFOS)
+
+clean:
+	@-test -z "$(HTMLS)" || rm -rf libconfig.html
+
+.PHONY: all clean html
+
+html: $(HTMLS)
+	$(MAKEINFOHTML) --no-split $(TEXINFOS)