diff options
-rw-r--r-- | stage3.d/help2man | 1 | ||||
-rw-r--r-- | stage3.d/m4 | 2 | ||||
-rw-r--r-- | stage3.d/texinfo | 2 |
3 files changed, 5 insertions, 0 deletions
diff --git a/stage3.d/help2man b/stage3.d/help2man new file mode 100644 index 0000000..af19c45 --- /dev/null +++ b/stage3.d/help2man @@ -0,0 +1 @@ +rpma help2man
\ No newline at end of file diff --git a/stage3.d/m4 b/stage3.d/m4 new file mode 100644 index 0000000..fb61e04 --- /dev/null +++ b/stage3.d/m4 @@ -0,0 +1,2 @@ +#requires texinfo +rpma m4 diff --git a/stage3.d/texinfo b/stage3.d/texinfo new file mode 100644 index 0000000..3af7a9d --- /dev/null +++ b/stage3.d/texinfo @@ -0,0 +1,2 @@ +#requires help2man +rpma texinfo info texinfo-tex |