summaryrefslogtreecommitdiff
path: root/3rdparty/libconfig/extra/doc/Makefile
diff options
context:
space:
mode:
Diffstat (limited to '3rdparty/libconfig/extra/doc/Makefile')
-rw-r--r--3rdparty/libconfig/extra/doc/Makefile18
1 files changed, 18 insertions, 0 deletions
diff --git a/3rdparty/libconfig/extra/doc/Makefile b/3rdparty/libconfig/extra/doc/Makefile
new file mode 100644
index 000000000..fd84597a6
--- /dev/null
+++ b/3rdparty/libconfig/extra/doc/Makefile
@@ -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)