Added rpm4 original port

This commit is contained in:
2024-10-11 11:20:25 +02:00
parent 7c770cfb90
commit 6265e3ee84
14 changed files with 510 additions and 0 deletions

View File

@ -0,0 +1,11 @@
--- docs/Makefile.in.orig 2023-12-19 15:56:53 UTC
+++ docs/Makefile.in
@@ -442,7 +442,7 @@
top_build_prefix = @top_build_prefix@
top_builddir = @top_builddir@
top_srcdir = @top_srcdir@
-@PANDOC_TRUE@SUBDIRS = man
+SUBDIRS = man
EXTRA_DIST = _layouts/default.html _layouts/favicon.ico README.md \
index.md manual/index.md manual/arch_dependencies.md \
manual/autosetup.md manual/boolean_dependencies.md \