Changeset 2969

Timestamp:

06/14/08 20:28:07 (6 months ago)

Author:

pernet

Message:

add the man page (needed for debianization)

Location:

trunk/linbox/doc

Files:

• Makefile.am (modified) (2 diffs)
• linbox-config.1 (added)

trunk/linbox/doc/Makefile.am

@@ -4 +4 @@
 endif
 docdir=$(LINBOX_DOC_PATH)
+
+man1_MANS = linbox-config.1 
 
 all all-local: $(USE_TARGETS)
@@ -17 +19 @@
         cp ../COPYING linbox-html
         cp ../AUTHORS linbox-html
-        cp ../HACKING linbox-html
 
 install-doc :