diff options
author | Haru <haru@dotalux.com> | 2013-09-09 13:23:29 +0200 |
---|---|---|
committer | Haru <haru@dotalux.com> | 2013-09-17 01:56:14 +0200 |
commit | e6a9f7cfdb5ee6d27c12d35f2ecf8317595317b6 (patch) | |
tree | 9b0a9a5b61c790ccbecc9c751e5cb6012edcd285 /3rdparty/libconfig/extra/doc/Makefile.in | |
parent | b8bf9548d76a46650b8559d621e81072d340bc04 (diff) | |
download | hercules-e6a9f7cfdb5ee6d27c12d35f2ecf8317595317b6.tar.gz hercules-e6a9f7cfdb5ee6d27c12d35f2ecf8317595317b6.tar.bz2 hercules-e6a9f7cfdb5ee6d27c12d35f2ecf8317595317b6.tar.xz hercules-e6a9f7cfdb5ee6d27c12d35f2ecf8317595317b6.zip |
Re-generated libconfig parser and scanner
This overrides previous manual edits to the machine-generated files, and
is supposed to make it much easier to maintain in future.
There should be no functional changes at all, but if there's any issue,
please let me know.
Signed-off-by: Haru <haru@dotalux.com>
Diffstat (limited to '3rdparty/libconfig/extra/doc/Makefile.in')
-rw-r--r-- | 3rdparty/libconfig/extra/doc/Makefile.in | 18 |
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) |