doc: 'configure && make', not 'configure; make' (Bug#15066)
tree7de6c1b82ced41df6913d1150246fb2ce49e7fd3
-rw-r--r-- 417 .gitattributes
-rw-r--r-- 1110 .gitignore
-rw-r--r-- 5 .prev-version
-rw-r--r-- 381 .x-update-copyright
-rw-r--r-- 8052 AUTHORS
-rw-r--r-- 1645 BUGS
-rw-r--r-- 17987 COPYING
-rw-r--r-- 1865 COPYING.EXCEPTION
-rw-r--r-- 35147 COPYINGv3
-rw-r--r-- 12943 ChangeLog.0
-rw-r--r-- 68786 ChangeLog.1
-rw-r--r-- 430073 ChangeLog.2
-rw-r--r-- 855074 ChangeLog.3
-rw-r--r-- 4573 GNUmakefile
-rw-r--r-- 6355 HACKING
-rw-r--r-- 6054 Makefile.am
-rw-r--r-- 83852 NEWS
-rw-r--r-- 2763 README
-rw-r--r-- 1155 README-alpha
-rw-r--r-- 5280 README-hacking
-rw-r--r-- 21578 THANKS
-rw-r--r-- 23262 TODO
drwxr-xr-x - bin
drwxr-xr-x - build-aux
-rw-r--r-- 5747 cfg.mk
-rw-r--r-- 6644 configure.ac
drwxr-xr-x - doc
drwxr-xr-x - lib
drwxr-xr-x - m4
-rw-r--r-- 62890 maint.mk
drwxr-xr-x - man
drwxr-xr-x - tests