diff options
Diffstat (limited to '3rdparty/libconfig/extra/doc/Makefile')
| -rw-r--r-- | 3rdparty/libconfig/extra/doc/Makefile | 18 |
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) |