Fix documentation build script

ampl · Feb 9, 2016 · d3352b7 · d3352b7
1 parent a5f3f5a
commit d3352b7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/support/build-docs.py b/support/build-docs.py
@@ -111,7 +111,7 @@ def build_docs(workdir, doxygen='doxygen'):
       os.remove(path)
   # Build docs.
   dir = os.path.dirname(__file__)
-  extract_docs(os.path.join(dir, '../src/gsl/amplgsl.cc'), build_dir)
+  extract_docs(os.path.join(dir, '../src/gsl/amplgsl.c'), build_dir)
   p = Popen([doxygen, '-'], stdin=PIPE, cwd=build_dir)
   p.communicate(input=r'''
       PROJECT_NAME      = MP