the @copying construct works now; thanks to the texinfo maintainers for finding the...

diff --git a/flex.texi b/flex.texi
index 412bbc07e62f3791b22b6c90355a3e0c8f900a6d..0ff00523a76ced687c1e74b6707e76cda24e5363 100644 (file)
--- a/flex.texi
+++ b/flex.texi
@@ -13,6 +13,46 @@
 @end direntry
 @c %**end of header
 
+@copying
+
+The flex manual is placed under the same licensing conditions as the
+rest of flex:
+
+Copyright @copyright{} 1990, 1997 The Regents of the University of California.
+All rights reserved.
+
+This code is derived from software contributed to Berkeley by
+Vern Paxson.
+
+The United States Government has rights in this work pursuant
+to contract no. DE-AC03-76SF00098 between the United States
+Department of Energy and the University of California.
+
+Redistribution and use in source and binary forms, with or without
+modification, are permitted provided that the following conditions
+are met:
+
+@enumerate
+@item
+ Redistributions of source code must retain the above copyright
+notice, this list of conditions and the following disclaimer.
+
+@item
+Redistributions in binary form must reproduce the above copyright
+notice, this list of conditions and the following disclaimer in the
+documentation and/or other materials provided with the distribution.
+@end enumerate
+
+Neither the name of the University nor the names of its contributors
+may be used to endorse or promote products derived from this software
+without specific prior written permission.
+
+THIS SOFTWARE IS PROVIDED ``AS IS'' AND WITHOUT ANY EXPRESS OR
+IMPLIED WARRANTIES, INCLUDING, WITHOUT LIMITATION, THE IMPLIED
+WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
+PURPOSE.
+@end copying
+
 @titlepage
 @title Flex, version @value{VERSION}
 @subtitle A fast scanner generator
@@ -22,8 +62,7 @@
 @author John Millaway
 @page
 @vskip 0pt plus 1filll
-The copying conditions for the @code{flex} manual can be found in section
-@ref{Copyright}
+@insertcopying
 @end titlepage
 @contents
 
@@ -240,43 +279,7 @@ Indices
 
 @cindex copyright of flex
 @cindex distributing flex
-
-The flex manual is placed under the same licensing conditions as the
-rest of flex:
-
-Copyright @copyright{} 1990, 1997 The Regents of the University of California.
-All rights reserved.
-
-This code is derived from software contributed to Berkeley by
-Vern Paxson.
-
-The United States Government has rights in this work pursuant
-to contract no. DE-AC03-76SF00098 between the United States
-Department of Energy and the University of California.
-
-Redistribution and use in source and binary forms, with or without
-modification, are permitted provided that the following conditions
-are met:
-
-@enumerate
-@item
- Redistributions of source code must retain the above copyright
-notice, this list of conditions and the following disclaimer.
-
-@item
-Redistributions in binary form must reproduce the above copyright
-notice, this list of conditions and the following disclaimer in the
-documentation and/or other materials provided with the distribution.
-@end enumerate
-
-Neither the name of the University nor the names of its contributors
-may be used to endorse or promote products derived from this software
-without specific prior written permission.
-
-THIS SOFTWARE IS PROVIDED ``AS IS'' AND WITHOUT ANY EXPRESS OR
-IMPLIED WARRANTIES, INCLUDING, WITHOUT LIMITATION, THE IMPLIED
-WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
-PURPOSE.
+@insertcopying
 
 @node Reporting Bugs, Introduction, Copyright, Top
 @chapter Reporting Bugs