Backend

2019-02-19 22:35:27 +00:00
parent ae5dbd1e80
commit cc33879fd0
264 changed files with 214146 additions and 0 deletions
@@ -0,0 +1,7 @@
+
+
+info_TEXINFOS = libconfig.texi
+libconfig_TEXINFOS = LGPL.texi
+
+html:
+	$(MAKEINFO) --html --no-split $(info_TEXINFOS)