replace %components% and %distcomps% in man pages with corresponding files
authorShantonu Sen <ssen@mit.edu>
Sun, 31 Dec 2000 02:44:18 +0000 (02:44 +0000)
committerShantonu Sen <ssen@mit.edu>
Sun, 31 Dec 2000 02:44:18 +0000 (02:44 +0000)
man/Makefile.in

index cc4e832..bc9b799 100644 (file)
@@ -124,6 +124,10 @@ man.sed: Makefile
        echo 's,%manext5%,$(manext5),g' >> $@
        echo 's,%manext8%,$(manext8),g' >> $@
        echo '$(POPSED)' >> $@
+       echo '/%components%/r $(top_srcdir)/etc/components' >> $@
+       echo ' s,%components%,,g' >> $@
+       echo '/%distcomps%/r $(top_srcdir)/etc/distcomps' >> $@
+       echo ' s,%distcomps%,,g' >> $@
 
 # ========= INSTALL TARGETS =========