Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Makefile.in | 4281 | logplain |
-rw-r--r-- | configbuild.ein | 5681 | logplain |
-rw-r--r-- | configbuild.fig | 1830 | logplain |
-rw-r--r-- | configbuild.tin | 406 | logplain |
-rw-r--r-- | configdev.ein | 7790 | logplain |
-rw-r--r-- | configdev.fig | 2991 | logplain |
-rw-r--r-- | configdev.tin | 791 | logplain |
-rw-r--r-- | configure | 29897 | logplain |
-rw-r--r-- | configure.in | 141 | logplain |
-rw-r--r-- | make-stds.texi | 36289 | logplain |
-rw-r--r-- | standards.texi | 96236 | logplain |